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 : parcadei/continuous-claude-v3.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove- 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 : parcadei/continuous-claude-v3.
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/parcadei/continuous-claude-v3 --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/parcadei/continuous-claude-v3
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-01