prove
✓Théorème formel prouvé avec des phases de recherche, de test et de vérification
Installation
SKILL.md
For mathematicians who want verified proofs without learning Lean syntax.
First run of /prove will download Mathlib (2GB) via lake build.
| Loogle | Type signature search (PRIMARY) | loogle-search "pattern" | | Nia MCP | Library documentation | mcpniasearch | | Perplexity MCP | Proof strategies, papers | mcpperplexitysearch | | WebSearch | General references | WebSearch tool | | WebFetch | Specific paper/page content | WebFetch tool |
Théorème formel prouvé avec des phases de recherche, de test et de vérification Source : namesreallyblank/clorch.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/namesreallyblank/clorch --skill prove- Source
- namesreallyblank/clorch
- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que prove ?
Théorème formel prouvé avec des phases de recherche, de test et de vérification Source : namesreallyblank/clorch.
Comment installer prove ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/namesreallyblank/clorch --skill prove Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Où se trouve le dépôt source ?
https://github.com/namesreallyblank/clorch
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-01