Runtime enforcement boundary for AI agents: a local sidecar that gates every outbound call against Cedar policies you own. Deterministic, call-level, no model on the hot path
Skill Claude CodeCodex
Selects an independent reviewer for OpenFirma design plans and implemented changes without duplicating review work. Use before implementation, before opening or modifying a PR, or when the user requests adversarial review.
Skill Claude CodeCodex
Dirty repo, uncommitted changes, commit, amend, split, changeset, PR history: inspect repository state and prepare atomic Git commits or jj changesets. Use whenever the worktree is already dirty or you are about to commit or rewrite history.
Skill Claude CodeCodex
General documentation guidelines for OpenFirma code, docs, and contributor-facing material.
Skill Claude CodeCodex
Edit a pre-existing GitHub pull request for OpenFirma. Use whenever you are asked to make changes to commits, branches or bookmarks that would affect an open GitHub PR.
Skill Claude CodeCodex
Fix merge conflicts in a jj change and its ancestors, starting from the oldest conflict. Use only in clones that use Jujutsu.
Skill Claude CodeCodex
Check formatting and lint rules for OpenFirma Rust, TOML, and Markdown changes.
Skill Claude CodeCodex
Open a GitHub pull request for OpenFirma. Use whenever you are asked to open a PR.
Skill Claude CodeCodex
Plans substantial OpenFirma changes through proportional repository research, program design, proof obligations, vertical slices, and independent review. Use before implementing behavior, architecture, stable contracts, migrations, trust boundaries, or invariant-owner changes.
Skill Claude CodeCodex
Applies Rust-specific correctness, robustness, documentation, and test-coverage checks to a review target already resolved by reviewing-changes.
Skill Claude CodeCodex
Defines the baseline scope and reporting requirements for code and documentation reviews. Use when reviewing a pull request, revision, diff, or working-tree change.
Skill Claude CodeCodex
Independently reviews an OpenFirma design plan before implementation by inspecting the repository, reconstructing high-risk traces, challenging proof obligations, and reporting preserved findings. Use for Full and Compact planning review.
Skill Claude CodeCodex
Run Rust tests for the affected OpenFirma crates or a specific crate/test.
Skill Claude CodeCodex
Guidelines for writing Rust documentation in OpenFirma.
Skill Claude CodeCodex
Guidelines for writing Rust tests in OpenFirma.
Skill Claude CodeCodex
Split the changeset $ARGUMENTS into smaller, atomic units.
Skill Claude CodeCodex
Final verification for OpenFirma changes, including per-commit or per-changeset validation when work is split into atomic revisions.
Skill Claude CodeCodex
Write Rust tests for OpenFirma crates while avoiding redundant coverage.
Skill Claude CodeCodex
Writes and verifies OpenFirma CLI, deterministic E2E, live-agent, and VS Code black-box tests. Use when adding or changing user-facing end-to-end coverage.
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: