smart-contracts-security

AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

The runtime monitoring tool for smart contracts business logic.

EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.

A clean, plug and play CLI tool for managing remote fuzzing jobs.

MCP-first security orchestrator for Solidity smart contracts. Validates AI attack hypotheses, generates Foundry proof scaffolds, catches bugs before auditors do.

Reproducible DeFi exploit PoCs with technical reports and attacker journey writeups

Solidity security scanning with 201 detectors that run on your machine. CLI + local MCP server.

Smart-Contract Security Lab is a comprehensive educational and practical platform for learning about smart contract security in Solidity.

Describes and implements some Solidity common best practices

Stateful invariant testing, adversarial vulnerability discovery, and remediation verification for Solidity smart contracts using Foundry.

Pure DePIN + ZK Architecture with Sovereign-Led Governance

Production-ready ERC-3643 RWA tokenization smart contracts — real estate, bonds and carbon credits. Audited by Blockhertz AI Smart Contract Auditor.

ethernaut challange solutions with solidity ^0.8.0

Posting the highlights and gotchas of my journey on becoming a Smart Contract Auditor

A collection of Solidity CTF puzzles & solutions

Solutions of Ethereum CTFs

Security-first overcollateralized lending protocol on Solana - emergency pause, oracle guards, rate-limited withdrawals.

Common Solidity vulnerability patterns with fixes and best practices

Aptos/Sui Move dev • Token, Escrow, NFT, Marketplace • CI + tests • Hire me → @rootmhz | 007rootmhz@gmail.com