🎯Skills9
Skill
Skill
A structured security audit skill for Solana smart contracts covering 25 vulnerability types, systematically walking through attack vectors from missing signer checks and PDA validation to re-initialization attacks and arithmetic overflows.
Part of the workers.io software correctness skills suite, providing Lean 4 proof verification and repair capabilities as a Claude Code slash command for formal verification of mathematical proofs and program correctness.
Part of the workers.io spec collection for software correctness, this skill benchmarks whether an AI agent skill actually improves outcomes, alongside tools for formal verification, model checking, and security auditing.
Part of workers.io's software correctness skills for Claude Code covering formal verification, model checking, and security auditing as slash commands. Provides mobile application security testing capabilities alongside proof repair and benchmarking tools.
Skill
Skill
Skill