Project housekeeping for agentic engineering at five levels, Minimal to Immaculate, within a session, repo, or machine scope: quest and lore sync, safe git landing and pruning with containment proofs, workspace, runtime and Claude Code harness cleanup, and a verified disposition for every in-scope item, through a fingerprinted plan/apply engine with safety classes and undo.
8 skills · 1 command · hooks
Explain and diagram architectures, processes, decisions, data and plans: Mermaid in Markdown, pitched to the reader's level, drawn from real Quest and lore records, and checked for syntax, legibility, accessibility and truth.
8 skills
Sustainable test suites for agentic engineering: a test constitution with rigor profiles (R1 Minimal to R5 High-Assurance), lean test planning, mutation-kill-matrix audits, certified test-suite reduction with probation, CI gates, and provable-coverage claims.
8 skills
Formal verification for real codebases: find concurrency, data-flow, state-management, and graph bugs with TLA+ and Lean 4, reproduce and fix them, simplify code with proofs, and publish results as Artifact reports.
6 skills
Three Claude Code output styles, Beginner, Intermediate and Advanced, that report in clear, jargon-free language built on ASD-STE100 Simplified Technical English. Every update answers what was done, whether it worked and what you do next; decisions come as two options with a recommendation. Only the communication changes, not the engineering.
3 skills
Drive the quest CLI: file, plan, record and complete tracker work in a Quest workspace. Federated: pinned to the quest-cli release tag so the skill cannot drift from the CLI it describes.
2 skills