Instructions file
Instructions for cosminmarian53/skills, covering claude.md, what this repo is, structure and rules.
2 4mo ago A 142 tokens
copy · 100% MIT
Skill Claude CodeCodex
Security audit orchestration for Soroban/Stellar Rust smart contracts. Use when user asks to "audit this codebase", "run soroban auditor", or "check for security vulnerabilities". Utilizes AST squeezing, pre-computed guard/state/integration/divergence/invariant/unsafe maps, parallel agent spawning, a verification…
2 4mo ago A 91 tokens
original MIT