Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres

PalateKit

Menu

Demander une ressource

Décrivez en une phrase la ressource qui vous manque. Nous vous écrirons quand elle sera publiée.

0 / 280

Débloquer PalateKit

Tout débloquer

Offre

Le paiement vaut acceptation de nos conditions générales de vente.

Paiement sécurisé par Stripe. Reçus et factures envoyés par e-mail.

Content de vous revoir

Connectez-vous pour installer, télécharger ou sauvegarder cette ressource. Un compte gratuit suffit pour les ressources gratuites.

Orchestration d'un projet de démonstration par runs v1.0.0

Utilisez cette ressource pour piloter un projet de démonstration mathématique sur plusieurs runs

Nouveau

  • 479 téléchargements
  • 148 mentions J'aime
  • 139 sauvegardes

Gratuit

Installer avec la CLI

Dans un terminal, depuis le dossier voulu :

npx --yes palatekit@latest install proof-project-orchestration

Sans 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 login

L'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

Carte de la skill « Orchestration d'un projet de démonstration par runs »

Caractéristiques

Guides d'installation
Génère avec
Le modèle de votre agent
Licence
MIT

Ressources similaires

Tout voir
  • Gratuit

    Skills

    Contrôle de santé du wiki

    • 552552 téléchargements
    • 202202 mentions J'aime
    • 127127 sauvegardes
    Compatible avec
    • Claude Code
    • Codex
    • Cursor
    • et 3 autres
  • Gratuit

    Skills

    Interroger son wiki

    • 374374 téléchargements
    • 131131 mentions J'aime
    • 214214 sauvegardes
    Compatible avec
    • Claude Code
    • Codex
    • Cursor
    • et 3 autres
  • Gratuit

    Skills

    Ajouter une source au wiki

    • 315315 téléchargements
    • 230230 mentions J'aime
    • 246246 sauvegardes
    Compatible avec
    • Claude Code
    • Codex
    • Cursor
    • et 3 autres
  • Gratuit

    Skills

    Agent auditeur de wiki

    • 556556 téléchargements
    • 205205 mentions J'aime
    • 192192 sauvegardes
    Compatible avec
    • Claude Code
    • Codex
    • Cursor
    • et 3 autres
  • Gratuit

    Skills

    Assistant de recherche UX

    • 598598 téléchargements
    • 142142 mentions J'aime
    • 236236 sauvegardes
    Compatible avec
    • Claude Code
    • Codex
    • Cursor
    • et 3 autres
  • Gratuit

    Skills

    Agent d'ingestion de wiki

    • 437437 téléchargements
    • 162162 mentions J'aime
    • 191191 sauvegardes
    Compatible avec
    • Claude Code
    • Codex
    • Cursor
    • et 3 autres
  • Gratuit

    Skills

    Agent bibliothécaire de wiki

    • 304304 téléchargements
    • 120120 mentions J'aime
    • 217217 sauvegardes
    Compatible avec
    • Claude Code
    • Codex
    • Cursor
    • et 3 autres

Ce que vous obtenez

  • SKILL.md : cadre du projet, dossiers de run et statuts des preuves
  • references/ : contrat de sortie d'audit, grille d'audit de preuve et tests de robustesse

Pour qui

  • Une démonstration s'étale sur plusieurs sessions et doit reprendre où elle en était
  • Une tentative locale bloque sur une étape difficile et vous voulez préparer une demande à GPT Pro

Pas pour qui

    Étiquettes

    • démonstration
    • preuves
    • orchestration
    • mathématiques

    À propos

    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. »

    Carte de la skill « Orchestration d'un projet de démonstration par runs »

    Skill publiée par wanshuiyin sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.

    Voir plus

    Comment l'utiliser

    1. Installez la skill dans le dossier de skills de votre agent
    2. Demandez à votre agent de piloter un projet de démonstration mathématique sur plusieurs runs
    3. Relisez et ajustez le résultat

    Aperçu du contenu

    Fichiers

    • LICENSE1 Ko
    • NOTICE-PALATEKIT.md0,5 Ko
    • NOTICE.md1,1 Ko
    • references/audit-output-contract.md4,4 Ko
    • references/deepseek-routing.md3,4 Ko
    • references/dispatch-prompts.md7,7 Ko
    • references/notation-audit.md5,2 Ko
    • references/proof-audit-rubric.md4,3 Ko
    • references/stress-tests.md1,8 Ko
    • SKILL.md18,5 Ko

    Origine et licence

    Référencée sans modification

    Auteur
    wanshuiyin
    Source
    github.com/wanshuiyin/auto-claude-code-research-in-sleep/tree/18bceb3c71c638bef58096274e1c9a6d323dbc0a/skills/proof-orchestrator
    Licence
    MIT

    Notice

    « proof-orchestrator » (wanshuiyin, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    Avis des utilisateurs

    –

    Aucune note pour l'instant

    Chargement des avis…

    Supprimer votre avis ?

    Votre note et votre commentaire seront retirés de la fiche.