Skill Claude CodeCodex
Volatility-based decomposition review. Trigger when: Evaluating module boundaries against axes of change and business volatility. Prompt contains: /lowy, volatility, axis of change, design decomposition, boundary.
Skill Claude CodeCodex
Runnable driver for the deterministic campaign-execution protocol — the automaton that takes a validated campaign DAG to a correctly merged branch. Trigger when: A campaign has a validated DAG + worker IBCs and the composer (or a cheap-tier runner) must DRIVE dispatch ⇄ reconcile as a loop rather than by hand.…
Skill Claude CodeCodex
Project-orientation workflow (/orient): installs predicate's enforcement into a target project, maps its structure and goal, and authors the persistent conditioning layer (AGENTS.md goal-hierarchy) so every subsequent walk is anchored and gated. Trigger when: Onboarding a new project into predicate for the first time.…
Skill Claude CodeCodex
SOP for locating, auditing, and importing production-tested reference patterns and peer-reviewed literature. Trigger when: Designing or implementing non-trivial algorithms, system protocols, design patterns, or major library integrations. Prompt contains: prior art, reference implementation, research patterns…
Skill Claude CodeCodex
Idiomatic programming style, patterns, and conventions for Python development. Trigger when: Writing, refactoring, reviewing, or debugging Python code. Files matching the pattern /.py (including requirements.txt, pyproject.toml, setup.py) are in the workspace or referenced. Tasks involve: python, pytest, pip, uv…
Skill Claude CodeCodex
Formatting, structure, and execution rules for Quarto markdown documents. Trigger when: Writing, editing, or rendering Quarto documents, reports, presentations, or websites. Files matching the pattern /.qmd are in the workspace or referenced. Tasks involve: quarto render, quarto preview, knitr, jupyter. Prompt…
Skill Claude CodeCodex
Durable categorized record-keeping for any predicate-enabled walk. Trigger when: Classifying a step's output for recording (decision, finding, debt, feedback). Promoting a scratch artifact to the ledger, to repo/docs, or to a category home (.ledger/tech-debt/, .ledger/process-feedback/). Auditing whether a draft is…
Skill Claude CodeCodex
SOP for the automated refinement loop (/refine) workflow. Trigger when: Exhaustively auditing and optimizing pre-existing codebase artifacts. Applying iterative contraction mapping to reduce code entropy. Prompt contains: /refine, refinement loop, contraction mapping, fixed-point sweep.
Skill Claude CodeCodex
Guidelines and strategies for constructing meaningful test suites, property-based tests, metamorphic relations, and fuzzing harnesses. Trigger when: Designing verification bounds, writing tests, creating test invariants, or implementing validation gates. Prompt contains: testing, test design, property-based testing…
Skill Claude CodeCodex
Idiomatic programming style, patterns, and conventions for Rust development. Trigger when: Writing, refactoring, reviewing, or debugging Rust code. Files matching the pattern /.rs (including Cargo.toml, Cargo.lock) are in the workspace or referenced. Tasks involve: cargo build, cargo clippy, cargo test, cargo check…
Skill Claude CodeCodex
Structured Domain Modeling Architecture (SDMA) principles. Trigger when: Designing domain models, building ologs (ontological graphs), verifying protocol equivalence, selecting schemas, or measuring architectural entropy. Modeling structures using Category Theory, Coalgebra, or Information Theory. Prompt contains…
Skill Claude CodeCodex
Phased risk-centric security assessment framework. Trigger when: Auditing code for vulnerabilities, checking SQL injection, access control, or buffer overflows. Prompt contains: /security-audit, security audit, taint analysis, threat model, vulnerability.
Skill Claude CodeCodex
SOP for normative specification and behavioral contracts. Trigger when: Defining invariants, permitted transitions, and forbidden states. Navigating steps: Identify, Formalize, Verify, Record, Connect. Prompt contains: /spec, spec workflow, normative constraint, invariant, BCP 14.
Skill Claude CodeCodex
Idiomatic programming style, patterns, and conventions for TypeScript and JavaScript development. Trigger when: Writing, refactoring, reviewing, or debugging TypeScript or JavaScript code. Files matching the patterns /.ts, /.tsx, /.js, /.jsx, package.json are in the workspace or referenced. Tasks involve: tsc, npm…