analyze-spec
01Skill Claude CodeCodex
Spec analysis with ambiguity scoring — interactive locally, single-pass remotely via label.
1.0k 2d ago A 18 tokens
original Apache-2.0
1.0kStars on the repository
10Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Skill Claude CodeCodex
Deep code review of a pull request using parallel analysis agents (semantic consistency, bugs, tech debt, security). USE FOR: - Reviewing PRs for bugs, security issues, and code quality - Analyzing new abstractions for consistency and correctness - Identifying tech debt and architectural concerns - Posting review…
1.0k 2d ago A 129 tokens
original Apache-2.0
Skill Claude CodeCodex
Autonomous one-shot implementation from an approved spec (local/cloud only).
1.0k 2d ago A 17 tokens
original Apache-2.0
Skill Claude CodeCodex
Implement a new invariant for jolt-eval.
1.0k 2d ago A 13 tokens
original Apache-2.0
Skill Claude CodeCodex
Implement a new objective for jolt-eval.
1.0k 2d ago A 13 tokens
original Apache-2.0
new-spec
06Skill Claude CodeCodex
Create a new spec through Socratic interview, filling each template section to zero ambiguity.
1.0k 2d ago A 20 tokens
original Apache-2.0
update-docs
07Skill Claude CodeCodex
Analyze code changes since a base commit and update the Jolt docs (book/) accordingly.
1.0k 2d ago A 17 tokens
original Apache-2.0
jolt
08Skill Claude CodeCodex
Wrap a Rust function in a Jolt zero-knowledge proof.
1.0k 2d ago A 15 tokens
original Apache-2.0