claudeindex
workersio's avatar
Author

workersio

@workersio
1
Marketplaces
6
Plugins
0
Skills
0
Agents
0
Commands

Marketplaces

Marketplace

workersio

workersio

Plugins:6
Skills:0
8
1

Plugins

Plugin

skill-benchmark

Benchmark any agent skill to measure whether it actually improves performance

Plugin

save

Convert Claude Code sessions into reusable agents

Plugin

kani-proof

Write Kani bounded model checker proofs for Solana and Rust programs

Plugin

solana-audit

Structured Solana smart contract security audits

Plugin

axiom

Verify, check, transform, and repair Lean 4 proofs using the Axiom (Axle) API and CLI

Plugin

spec

Convert Claude Code sessions into reusable agents