a16z

a16z/jolt

Skill Claude CodeCodex

Spec analysis with ambiguity scoring — interactive locally, single-pass remotely via label.

a16z/jolt

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…

a16z/jolt

Skill Claude CodeCodex

Autonomous one-shot implementation from an approved spec (local/cloud only).

a16z/jolt

Skill Claude CodeCodex

Implement a new invariant for jolt-eval.

a16z/jolt

Skill Claude CodeCodex

Implement a new objective for jolt-eval.

a16z/jolt

Skill Claude CodeCodex

Create a new spec through Socratic interview, filling each template section to zero ambiguity.

a16z/jolt

Skill Claude CodeCodex

Analyze code changes since a base commit and update the Jolt docs (book/) accordingly.

a16z/jolt

Instructions file CodexOpenCode

Instructions for a16z/jolt, a project described as: The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡.

a16z/jolt

Instructions file

Instructions for a16z/jolt, covering claude.md, project overview, essential commands, linting and formatting and must pass in both standard and zk modes.

a16z/jolt

Skill Claude CodeCodex

Wrap a Rust function in a Jolt zero-knowledge proof.