Marketplace

workersio-skills

Workers.io agent skills and plugins.

npx claudepluginhub workersio/skills

README

1 Plugin

wio

135·

Testing workflow skill for high-value test discovery, strategy, implementation, review, and suite health diagnostics.

today

v0.1.0

workersio

Related Marketplaces

antigravity-awesome-skills

37.8K

0plugins

Claude Code marketplace entries for the plugin-safe Antigravity Awesome Skills library and its compatible editorial bundles.

claude-code-workflows

35.5K

0plugins

Production-ready workflow orchestration with 80 focused plugins, 185 specialized agents, and 153 skills - optimized for granular installation and minimal token usage

claude-plugins-official

19.6K

0plugins

Directory of popular Claude Code extensions including development tools, productivity plugins, and MCP integrations

Stats

Plugins1

Stars135

UpdatedMay 18, 2026

Links

View on GitHub View Marketplace JSON

Help us improve

Share bugs, ideas, or general feedback.

Stats

Links

Help us improve

Share bugs, ideas, or general feedback.

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