workersio/spec
10 skills964 installsGitHub
Install
npx skills add https://github.com/workersio/specSkills in this repo
1Kani ProofKani-proof skill wires AWS Kani into workersio/spec Rust workflows to model-check functions and unsafe regions. It scaffolds proof harnesses, runs bounded verification, explains counterexamples, and documents proven invariants so API and CLI backends ship with stronger memory-safety guarantees.137installs2SaveA workersio/spec skill focused on implementing reliable save behavior for Cloudflare Workers applications—defining what to persist, where to store it, validation on write, and consistent update semantics across API and CLI surfaces.135installs3Solana AuditA workersio/spec security skill for auditing Solana smart contracts and related services: reviewing instruction handlers, signer checks, PDA derivations, CPI safety, upgrade authority, and common Solana exploit classes before shipping on-chain code.131installs4Axiom VerifyAxiom-verify skill automates formal verification of axioms inside workersio/spec models. It validates that declared rules and invariants cannot contradict, surfaces failing proofs with traces, and blocks shipping APIs or CLIs whose specifications are logically inconsistent or incomplete.125installs5Workers App TesterA workersio/spec testing skill for Cloudflare Workers apps that structures how agents run functional checks against worker endpoints, mocked bindings, auth flows, and deployment configs to confirm releases behave correctly under realistic edge conditions.113installs6Skill Benchmarkskill-benchmark from workersio/spec runs structured evaluations of Claude Code skills against a shared specification, producing comparable scores for capability, consistency, and regressions when skills change.111installs7Fuzzerfuzzer is a Claude Code skill for ai & agent building. It helps solo builders move faster with AI-assisted coding.78installs8Audit Context Buildingaudit-context-building is a Claude Code skill for security. It helps solo builders move faster with AI-assisted coding.73installs9Kagekage is a Claude Code skill for ai & agent building. It helps solo builders move faster with AI-assisted coding.41installs10Wiowio is a Claude Code skill for ai & agent building. It helps solo builders move faster with AI-assisted coding.20installs