
DecodeBox
Encode. Decode. Identify. Smart decoding for any data.

Encode. Decode. Identify. Smart decoding for any data.

Iterative agent harness that uses LLMs and Certora Prover to generate and refine smart-contract CVL specs, feeding verifier output back until success…

Collection of Solidity snippets and Foundry scripts for smart contract security audits

Demystifying Exploitable Bugs in Smart Contracts

AI Smart Contract Security Analysis and PoC Generation Framework

MCP server for Slither static analysis of Solidity smart contracts

OWASP Smart Contract Security (SCS) Project

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time…

Free honeypot token scanner for Ethereum, Polygon & Arbitrum. Detect scam tokens before you buy. Instant analysis of smart contracts using 13…

Framework for auditing blockchain ecosystems, identifying smart contract vulnerabilities, and generating structured findings with multi-platform…

Static Analyzer for Starknet smart contracts

Ghidra module for disassembling, decompiling, and analyzing Ethereum smart contract bytecode. Detects insecure instructions, extracts hidden methods,…