How do I install the Sp1 skill?

Run npx skillmds@latest add hairyf/sp1 in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

What does the Sp1 skill do?

SP1 zkVM—prove arbitrary Rust (RISC-V) programs with the SDK, CLI, recursion, and precompiles. It is listed under Coding & Dev Tools on SkillMD.

This skill has not completed SkillMD's automated safety review yet. Capability flags: makes network calls. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Sp1?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

hairyf (@hairyf) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Sp1 by hairyf — Agent Skill

Name: Sp1
Rating: 4.666666666666667 (3 reviews)
Author: hairyf

File contents

Skill based on SP1 (zkVM v6 Hypercube), generated from sources/sp1. Doc path: sources/sp1/ (README, DEVELOPMENT.md, crates/*/README.md, examples), plus https://docs.succinct.xyz/docs/sp1 (introduction, quickstart, recommended-workflow).

SP1 is a zero-knowledge virtual machine that proves correct execution of RISC-V programs. Write provable logic in Rust (or other LLVM→RISC-V languages), build an ELF with the succinct toolchain, and use the SDK to execute, prove, and verify. No custom circuits; use Plonk or Groth16 proofs, recursion for aggregation, and precompiles to extend the zkVM.

Core References

Topic	Description	Reference
Overview	Program vs script, ELF, entrypoint, project layout	core-overview
Program I/O	read, commit, SP1Stdin, public values	core-program-io
CLI and build	cargo prove new/build, project structure	core-cli-and-build
Proving and verification	ProverClient, execute, setup, prove, verify	core-proving-and-verification

Features

Proof formats and verification

Topic	Description	Reference
Proof formats	Plonk, Groth16, compressed; bytes for Solidity	features-proof-formats
Recursion	Verifying proofs in the zkVM, aggregation	features-recursion

Extending the zkVM

Topic	Description	Reference
Precompiles	Adding custom chips (syscall, MachineAir, AIR)	features-precompiles

Best Practices

Topic	Description	Reference
Workflow	Execute-only during dev, reuse client, crate layout, prover network	best-practices-workflow

---name: sp1description: SP1 zkVM—prove arbitrary Rust (RISC-V) programs with the SDK, CLI, recursion, and precompiles.---> Skill based on SP1 (zkVM v6 Hypercube), generated from `sources/sp1`. Doc path: `sources/sp1/` (README, DEVELOPMENT.md, crates/*/README.md, examples), plus https://docs.succinct.xyz/docs/sp1 (introduction, quickstart, recommended-workflow).SP1 is a zero-knowledge virtual machine that proves correct execution of RISC-V programs. Write provable logic in Rust (or other LLVM→RISC-V languages), build an ELF with the succinct toolchain, and use the SDK to execute, prove, and verify. No custom circuits; use Plonk or Groth16 proofs, recursion for aggregation, and precompiles to extend the zkVM.## Core References| Topic | Description | Reference ||-------|-------------|-----------|| Overview | Program vs script, ELF, entrypoint, project layout | [core-overview](references/core-overview.md) || Program I/O | read, commit, SP1Stdin, public values | [core-program-io](references/core-program-io.md) || CLI and build | cargo prove new/build, project structure | [core-cli-and-build](references/core-cli-and-build.md) || Proving and verification | ProverClient, execute, setup, prove, verify | [core-proving-and-verification](references/core-proving-and-verification.md) |## Features### Proof formats and verification| Topic | Description | Reference ||-------|-------------|-----------|| Proof formats | Plonk, Groth16, compressed; bytes for Solidity | [features-proof-formats](references/features-proof-formats.md) || Recursion | Verifying proofs in the zkVM, aggregation | [features-recursion](references/features-recursion.md) |### Extending the zkVM| Topic | Description | Reference ||-------|-------------|-----------|| Precompiles | Adding custom chips (syscall, MachineAir, AIR) | [features-precompiles](references/features-precompiles.md) |## Best Practices| Topic | Description | Reference ||-------|-------------|-----------|| Workflow | Execute-only during dev, reuse client, crate layout, prover network | [best-practices-workflow](references/best-practices-workflow.md) |

Frequently asked questions

Sp1