Context engineering, with receipts. AURORA Agent compiles a typed query into the smallest decision-sufficient context and issues a machine-checkable Context Certificate for every omission. 259-tool local MCP server, Rust.
Skill Claude CodeCodex
Add a new crate to the bioprism workspace implementing a blueprint section, including registering it, choosing dependencies without creating cycles, and the honesty conventions every crate must follow. Use when starting a new module, when asked to cover an uncovered blueprint section, or when setting up work for a…
Skill Claude CodeCodex
Verify the CPython reference, the eager Rust path and the indexed store still agree byte for byte on a Context Certificate digest. Use after touching canonical serialization, hashing, compiler passes, the store, or any serde configuration, and before any release or wire-format change.
Skill Claude CodeCodex
Decide which blueprint modules are code before writing any, using the five verdicts this workspace discovered, and cite ids without inflating the coverage figure. Use when opening a blueprint section, when a section looks badly uncovered, when deciding what a crate should claim, or before writing any NN.MM token into…
Skill Claude CodeCodex
Find and fix the defect this workspace keeps producing — an error or a missing measurement collapsed into a benign default, so a refusal becomes indistinguishable from an answer. Use when writing or reviewing anything that compares two outcomes or feeds a published number, when auditing a crate, and whenever you are…
Skill Claude CodeCodex
Measure how much of a blueprint section is repeated template, in a way that another agent can reproduce and that will not disagree with the figure already recorded. Use when reporting how repetitive a section is, when your figure does not match docs/COVERAGE.md, or when deciding how much distinguishing content a batch…
Skill Claude CodeCodex
Pair every source-scanning hygiene test with a proof that it detects a planted violation, that its walk actually opened files, and that it is no laxer than the tool it mirrors. Use when writing or reviewing any test that greps a crate's own text — citation audits, hardcoded-constant checks, imputation scans…
Skill Claude CodeCodex
Verify a bioprism crate is genuinely green — tests passing and clippy at zero warnings — and recognise the environment failures that masquerade as test failures. Use before claiming a crate is done, after landing an agent's work, when a test count looks wrong or lower than expected, or when cargo test reports a…
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: