a16z/jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

About the project

Jolt is a zero-knowledge virtual machine for RISC-V that enables programs to be executed and cryptographically proven. It is for developers and contributors working with zero-knowledge proofs and virtual machines, while the catalogue entries provide instructions and skills for using or developing Jolt.

11 files for Claude Code, Codex and OpenCode: analyze-spec, ci-code-review, implement-spec, new-invariant and 7 more — 4,273 tokens loaded in every session.

Open on GitHub jolt.a16zcrypto.com

Instructions

jolt AGENTS.md AGENTS.md A 4 tok
jolt CLAUDE.md CLAUDE.md A 4,269 tok

Skills

analyze-spec .claude/skills/analyze-spec/SKILL.md A 18 tok
ci-code-review .claude/skills/ci-code-review/SKILL.md A 129 tok
implement-spec .claude/skills/implement-spec/SKILL.md A 17 tok
new-invariant .claude/skills/new-invariant/SKILL.md A 13 tok
new-objective .claude/skills/new-objective/SKILL.md A 13 tok
new-spec .claude/skills/new-spec/SKILL.md A 20 tok
update-docs .claude/skills/update-docs/SKILL.md A 17 tok
comment-policy .claude/skills/comment-policy/SKILL.md A 72 tok
test-policy .claude/skills/test-policy/SKILL.md A 67 tok

These files are a16z/jolt's own configuration — they tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.