Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs
Like FuzzingLabs/sol-azy, 0 likes 0 Bookmark FuzzingLabs/sol-azy, 0 bookmarks 0 Execute and verify compiled Solana sBPF programs with a Lean 4 reference model
Like QEDGen/qedsvm, 0 likes 0 Bookmark QEDGen/qedsvm, 0 bookmarks 0 CLI tool for deterministically building and verifying executable against on-chain programs or buffer accounts
Like solana-foundation/solana-verifiable-build, 0 likes 0 Bookmark solana-foundation/solana-verifiable-build, 0 bookmarks 0 A repository of Solana program examples
Like solana-foundation/program-examples, 0 likes 0 Bookmark solana-foundation/program-examples, 0 bookmarks 0 Collection of solana programs to learn
Like aarjn/solana-programs-list, 0 likes 0 Bookmark aarjn/solana-programs-list, 0 bookmarks 0 Claude Code / agentic security skill for Solana programs and software. Full audit-firm lifecycle, executable PoC + fix-patch delivery, a Rust pre-scanner + cross-audit memory, 1,346 checks across 20 checklists, and 131 real-world attack vectors.
Like solanabr/auditor-skill, 0 likes 0 Bookmark solanabr/auditor-skill, 0 bookmarks 0 A collection of Solana programs maintained by Solana Labs
Like solana-labs/solana-program-library, 0 likes 0 Bookmark solana-labs/solana-program-library, 0 bookmarks 0 Solana's SOL-0XX security standard — bug-class rules distilled from $514M of real exploits, firing as you code in every AI tool, editor & CI.
Like Copenhagen0x/solana-security-standard, 0 likes 0 Bookmark Copenhagen0x/solana-security-standard, 0 bookmarks 0 Working, tested, up-to-date examples of common Solana programs - maintained by Quicknode
Like quicknode/solana-program-examples, 0 likes 0 Bookmark quicknode/solana-program-examples, 0 bookmarks 0 
