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.
Borrowing it
Nothing to install: this file belongs to a16z/jolt. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/a16z/jolt/main/.claude/skills/new-objective/SKILL.mdgit clone --depth 1 https://github.com/a16z/joltWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/a16z/jolt/new-objective)<a href="https://agentmods.dev/skills/a16z/jolt/new-objective"><img src="https://agentmods.dev/badge/skills/a16z/jolt/new-objective/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/a16z/jolt/new-objective"><img src="https://agentmods.dev/badge/skills/a16z/jolt/new-objective.svg" alt="Reviewed on agentmods" width="80" height="20"></a>- NVIDIA SkillSpector pass
What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00013 | $0.01326 |
| Opus 5.5 | $0.00005 | $0.00530 |
| Sonnet 5.5 | $0.00003 | $0.00265 |
| Haiku 4.5 | $0.00001 | $0.00133 |
Grade A, and why
new-objective scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 1mo ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 136 lines — stays where its author put it; the contents beside it link to each section on GitHub.
This skill handles all the boilerplate: creating the objective struct, implementing the Objective trait, registering it in the appropriate enum, creating a const key, adding an ObjectiveFunction, creating a Criterion benchmark, and running sync_targets.sh.
<Execution_Policy>
- The user must provide an objective name (lowercase with underscores, e.g.
cyclomatic_complexity). - Use the request, spec, and repository context to identify the measurement and objective kind; ask only for missing requirements.
- Follow existing patterns exactly — study lloc.rs (static analysis) and binding.rs (performance) as models.
- Always run clippy and tests before reporting success. </Execution_Policy>
Phase 1: Gather Requirements
- Validate the argument
{{ARGUMENTS}}: must be a valid Rust identifier (lowercase alphanumeric + underscores). Reject otherwise. - Gather these requirements from existing context; ask the user only for missing information:
- What is being measured? (becomes the
description()) - Is this a static analysis objective or a performance objective?
- Static analysis: computes a metric by analyzing source code (e.g. lines of code, complexity). Overrides
collect_measurement(), usesSetup = (). - Performance: computes a metric by running/profiling some computation (e.g. wall-clock time, max RSS). Overrides
setup()andrun().
- Static analysis: computes a metric by analyzing source code (e.g. lines of code, complexity). Overrides
- What are the units? (e.g. "lines", "s", "bugs")
- What files/directories does this objective measure? (used for
diff_paths()scoping)
- What is being measured? (becomes the
Phase 2: Explore Context
- Read
jolt-eval/src/objective/mod.rsto understand the current enums and dispatch methods. - Read
jolt-eval/src/objective/objective_fn/mod.rsto understand objective function registration. - Read an existing objective for reference:
- Static analysis:
jolt-eval/src/objective/code_quality/lloc.rs - Performance:
jolt-eval/src/objective/performance/binding.rs
- Static analysis:
- Explore the modular crates that own the measured functionality.
What ships with it
2 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 1mo ago Changed 587c2669875c
- 1mo ago Changed 42cb3eaeb977
- 2mo ago First seen · 136 lines · 13 tokens per session scan A 376bf4ad8463
new-objective is a skill published in the GitHub repository a16z/jolt (1,059 stars, last pushed today), licensed Apache-2.0. It adds 13 tokens to every session and 1,326 once invoked, about $0.0001 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other skills, from other repositories
implementing-zero-knowledge-proof-for-authentication
Zero-Knowledge Proofs (ZKPs) allow a prover to demonstrate knowledge of a secret (such as a password or private key) without revealing the secret itself. This skill implements the Schnorr identificati.
zero-knowledge-proofs
Use this skill when the user says 'ZK circuit', 'Circom', 'zk-SNARK', 'Groth16', 'PLONK', 'trusted setup', 'ptau', 'privacy-preserving proof'. Covers writing arithmetic circuits (Circom), choosing a proving system, and the trusted-setup lifecycle. Do NOT use for: full ZK domain reference (use…
zkp-toolkit
Zero-Knowledge Proof utilities - proof generation, verification, selective disclosure, ZK-Rollup batching, and benchmarking across ZK systems.
configuring-hsm-for-key-storage
Hardware Security Modules (HSMs) are tamper-resistant physical devices that safeguard cryptographic keys and perform cryptographic operations in a hardened environment. Keys stored in an HSM never lea.
implementing-aes-encryption-for-data-at-rest
AES (Advanced Encryption Standard) is a symmetric block cipher standardized by NIST (FIPS 197) used to protect classified and sensitive data. This skill covers implementing AES-256 encryption in GCM m.
configuring-certificate-authority-with-openssl
A Certificate Authority (CA) is the trust anchor in a PKI hierarchy, responsible for issuing, signing, and revoking digital certificates. This skill covers building a two-tier CA hierarchy (Root CA +.