Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
ziku
ziku contiene 2 skills recopiladas de takoeight0821, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
2
Stars
1
actualizado
2026-01-24
Forks
0
Cobertura ocupacional
1 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
sequent-calculus
Desarrolladores de software
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
Desarrolladores de software
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