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
Metatheory
Metatheory contient 3 skills collectées depuis Arthur742Ramos, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
3
Stars
4
mis à jour
2026-02-17
Forks
3
Couverture métier
2 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
aristotle
Développeurs de logiciels
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
Scientifiques en recherche informatique et en information
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
2026-02-17
sorry-checker
Développeurs de logiciels
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
2026-02-17