workers.io plugins
A collection of Claude Code plugins by workers.io.
Plugins
save
Converts Claude Code conversations into reusable agents. The plugin analyzes your session -- the original task, every correction you made, tool calls, and the final output -- and distills it into an agent file saved to .claude/agents/. Agents are invocable with @agent-name in any future conversation and shared through version control. No server, no API, no accounts.
kani-proof
Writes Kani bounded model checker proofs for Solana and Rust programs. Includes reference docs covering proof patterns, invariant design, coverage workflows, Kani features, and Anchor verification.
solana-audit
Structured Solana smart contract security audits across 25 vulnerability types. Includes reference docs for each vulnerability, a cheatsheet, audit checklist, and exploit case studies.
axiom
Verify, check, transform, and repair Lean 4 proofs using the Axiom (Axle) API and CLI.
skill-benchmark
Benchmark any agent skill to measure whether it actually improves performance. Runs isolated eval sessions with and without the skill, grades outputs via layered grading (deterministic checks + LLM-as-judge), analyzes behavioral signals, and generates a comparison report with a USE / DON'T USE verdict.
Install
npx skills add workersio/spec
This installs all plugins from the repository. Individual plugins can be selected during installation.
Repository structure
plugins/
save/ # Convert sessions into reusable agents
.claude-plugin/plugin.json
skills/save/SKILL.md
kani-proof/ # Kani bounded model checker proofs
.claude-plugin/plugin.json
skills/kani-proof/SKILL.md
skills/kani-proof/references/
solana-audit/ # Solana smart contract audits
.claude-plugin/plugin.json
skills/solana-audit/SKILL.md
skills/solana-audit/references/
axiom/ # Lean 4 proof verification via Axiom
.claude-plugin/plugin.json
skills/axiom/SKILL.md
skill-benchmark/ # Benchmark any agent skill
.claude-plugin/plugin.json
skills/skill-benchmark/SKILL.md
skills/skill-benchmark/scripts/
skills/skill-benchmark/agents/
skills/skill-benchmark/references/
Each plugin lives under plugins/ with its own .claude-plugin/plugin.json manifest and skills/ directory. The root .claude-plugin/marketplace.json catalogs all plugins for marketplace discovery.
License
MIT
workersio