All authors
Claude Skills by ziwaa-se
github.com/ziwaa-se6 skills0 installs0 views
- Pv ReportProduce the final deliverables after all numbered results have verdicts — compile the record (pv-compiler), fix inconsistencies, write the author report with an English summary table, the external-input worksheet, the files-to-check index and the doc errata, then run an independent fact-check (pv-factcheck) and apply its corrections.Votes: 0GitHub stars: 2
- Pv ResumeResume faithful proof checking after an interruption or a usage-limit reset — read RESUME.md, reconcile half-finished agent outputs, validate state, then continue the /pv-run coordinator loop.Votes: 0GitHub stars: 2
- Pv ReviseHandle a revised manuscript — compare source/ with the baseline copy, find which numbered results and definitions are affected, update every file:line reference, apply the chain-reset rule to affected results only, and keep valid verdicts. Use after replacing files in source/ with a new version of the paper.Votes: 0GitHub stars: 2
- Pv RunCoordinator loop for faithful proof checking. Advances every numbered result in dependency order through draft → independent gate → proof → independent final audit, plus the issue branch and predecessor reconnection; records verdicts, snapshots progress and reports to the user after each milestone, until every result has a verdict or a recorded reason. Invoke after /pv-setup, or via /pv-resume.Votes: 0GitHub stars: 2
- Pv SetupInitialize a faithful proof-checking project — check the Lean environment, inventory the manuscript with pv-architect, create RESULTS.json, the verdict checklist and the resume file, and report the plan. Run once per paper, before /pv-run.Votes: 0GitHub stars: 2
- Pv StatusReport current verification progress — the progress table for screenshots, verdict counts, open issues, running agents and what is next. Use whenever the user asks how far along the check is.Votes: 0GitHub stars: 2