FreeSkills
Knowledge wiki setup
- 418418 downloads
- 129129 likes
- 161161 saves
Works with
- Claude Code
- Codex
- Cursor
- and 3 more
Proof project orchestration across runs v1.0.0
Use this resource to drive a multi-run mathematical proof project
New
- 479 downloads
- 148 likes
- 139 saves
Free
Install with the CLI
In a terminal, from the folder you want:
npx --yes palatekit@latest install proof-project-orchestrationWith no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.
First time: connect the CLI with
npx --yes palatekit@latest loginThe agent keeps a proof project in run directories: it resumes work from one run to the next and keeps local sources up to date. When an attempt stalls on a hard step, it prepares a handoff package for GPT Pro that you send yourself, and can add an optional DeepSeek second opinion. You keep a record of each proof and its status.
Mostly picked by
Updated November 2, 2026
Previews
Details
- Install guides
- Generates with
- Your agent's model
- Licence
- MIT
Similar resources
View all- Free
FreeSkills
Wiki health check
- 552552 downloads
- 202202 likes
- 127127 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Ask your wiki
- 374374 downloads
- 131131 likes
- 214214 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki source ingestion
- 315315 downloads
- 230230 likes
- 246246 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki auditor agent
- 556556 downloads
- 205205 likes
- 192192 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
UX research assistant
- 598598 downloads
- 142142 likes
- 236236 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki ingestion agent
- 437437 downloads
- 162162 likes
- 191191 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki librarian agent
- 304304 downloads
- 120120 likes
- 217217 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
What you get
- SKILL.md: project framework, run directories and proof status labels
- references/: audit output contract, proof audit rubric and stress tests
Good fit for
- A proof spans several sessions and must resume where it stopped
- A local attempt is stuck on a hard step and you want a GPT Pro handoff
Not for
Tags
- proof
- run directories
- orchestration
- mathematics
About
You say
“Resume the proof project for theorem 3 and prepare the GPT Pro handoff if step 4 stalls.”
Skill published by wanshuiyin under the MIT license, delivered in its original version.
Show moreShow less
How to use it
- Install the skill in your agent's skills folder
- Ask your agent to drive a multi-run mathematical proof project
- Review and adjust the result
Content preview
Files
- LICENSE1 KB
- NOTICE-PALATEKIT.md0.5 KB
- NOTICE.md1.1 KB
- references/audit-output-contract.md4.4 KB
- references/deepseek-routing.md3.4 KB
- references/dispatch-prompts.md7.7 KB
- references/notation-audit.md5.2 KB
- references/proof-audit-rubric.md4.3 KB
- references/stress-tests.md1.8 KB
- SKILL.md18.5 KB
Origin and licence
Listed unmodified
- Author
- 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.
User reviews
–
No ratings yet
Loading reviews…