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

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

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

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

OWASP Smart Contract Security (SCS) Project

AI Smart Contract Security Analysis and PoC Generation Framework

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

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

MCP server for Slither static analysis of Solidity smart contracts

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

Demystifying Exploitable Bugs in Smart Contracts

Static Analyzer for Starknet smart contracts

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

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