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 lore CLI: author, retrieve, and maintain OKF documentation bundles, including explicit multi-repository workspaces. Federated: this entry pins the lore-cli release tag, so the skill is cut from the same tag as the CLI it describes and cannot drift from it.
1 skill