GratuitSkills
Création d'un wiki de connaissances
- 418418 téléchargements
- 129129 mentions J'aime
- 161161 sauvegardes
- Claude Code
- Codex
- Cursor
- et 3 autres
Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres
Utilisez cette ressource pour piloter un projet de démonstration mathématique sur plusieurs runs
Nouveau
Gratuit
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install proof-project-orchestrationSans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.
Première fois : connectez la CLI avec
npx --yes palatekit@latest loginL'agent tient un projet de preuve dans des dossiers de run : il reprend le travail d'un run à l'autre et tient à jour les sources locales. Quand une tentative bloque, il prépare un dossier de transfert pour GPT Pro, que vous envoyez vous-même, et peut ajouter un second avis DeepSeek facultatif. Vous gardez la trace de chaque preuve et de son statut.
Choisie surtout par
Mise à jour le 2 novembre 2026
Vous dites
« Reprends le projet de preuve du théorème 3 et prépare le dossier pour GPT Pro si l'étape 4 bloque. »

Skill publiée par wanshuiyin sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.
Référencée sans modification
« proof-orchestrator » (wanshuiyin, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
–
Aucune note pour l'instant
Chargement des avis…