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.

🎯

axiom-verify🎯Skill

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.

🎯

skill-benchmark🎯Skill

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.

🎯

workers-app-tester🎯Skill

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.

🎯

audit-context-building🎯Skill

Skill

🎯

kage🎯Skill

Skill