Stars
A curated list of resources for Formal Verification with Certora Prover (EVM/Stellar/Solana).
An AI security awesome list / learning journey
The best smart contracts resources in one place.
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart con…
The best smart contracts in one place.
Console Kit is platform that enable developers for building specialised agents operate onchain autonomously.
Primers for Specialist AI Smart Contract Auditors
A collection of resources to help you build better and more secure Solana programs. Kept up to date.
A curated list of awesome MCP servers focused on DevOps tools and capabilities.
A curated list of awesome ZK resources, libraries, tools and more.
A framework that references, categorizes, and mitigates blockchain attack vectors.
A collection of modules that can be used with the Safe contract
FunC lessons for The Open Network
First ZK project built on TON blockchain, based on 🌪 Cash
TON development for professionals - all-in-one tool for writing, testing and deploying smart contracts
Secure validation for TON blockchain via cold wallet