Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
ziku
ziku contient 2 skills collectées depuis takoeight0821, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
2
Stars
1
mis à jour
2026-01-24
Forks
0
Couverture métier
1 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
sequent-calculus
Développeurs de logiciels
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
Développeurs de logiciels
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