Jeden Skill in Manus ausführen
mit einem Klick
mit einem Klick
Jeden Skill in Manus mit einem Klick ausführen
LoslegenGitHub-Repository
Metatheory
Metatheory enthält 3 gesammelte Skills von Arthur742Ramos, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.
gesammelte Skills
3
Stars
4
aktualisiert
2026-02-17
Forks
3
Berufsabdeckung
2 Berufskategorien · 100% klassifiziert
Repository-Explorer
Skills in diesem Repository
Creator/Repository/Skill
Skill
Beruf
Beschreibung
Aktualisiert
aristotle
Softwareentwickler
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
Informatik- und Informationsforschungswissenschaftler
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
2026-02-17
sorry-checker
Softwareentwickler
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
2026-02-17