Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
Metatheory
Metatheory contiene 3 skills recopiladas de Arthur742Ramos, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
3
Stars
4
actualizado
2026-02-17
Forks
3
Cobertura ocupacional
2 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
aristotle
Desarrolladores de software
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries that needs automated proof search. Handles API setup and result verification.
2026-02-17
confluence-guide
Científicos en investigación informática y de información
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
2026-02-17
sorry-checker
Desarrolladores de software
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
2026-02-17