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

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

OWASP Smart Contract Security (SCS) Project

Static Analyzer for Starknet smart contracts

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

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

Demystifying Exploitable Bugs in Smart Contracts

MCP server for Slither static analysis of Solidity smart contracts

This is an intentionally vulnerable smart contract truffle deployment aimed at allowing those interested in smart contract security to exploit a wide…

PoC of CVE-2025-22710