Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
ziku
ziku contains 2 collected skills from takoeight0821, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
2
Stars
1
updated
2026-01-24
Forks
0
Occupation coverage
1 occupation categories ยท 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
sequent-calculus
software-developers
Surface โ IR translation rules and IR reduction semantics for Ziku's ฮปฮผฮผฬ-calculus based intermediate representation. Use when implementing translation, IR evaluation, or understanding the core semantics.
2026-01-24
loogle
software-developers
Search for Lean 4 and Mathlib theorems, lemmas, and definitions by type signature, name, or subexpression pattern. Use when the user asks to find a theorem, look up a Lean definition, search for lemmas, or needs help discovering Mathlib functions.
2026-01-10