Synthetic
Synthetic benchmarking dataset for smart contracts
About
The problem it solves It supposed to be synthetic benchmarking dataset with solidity smart contracts vulnerabilities. Minimal vulnerability intelligence layer over verified Sourcify contracts. Ingests verified source/metadata, enriches with static analysis, and exposes searchable datasets via API/MCP with x402-gated access.
How it's made
Challenges we ran into Basically everything, the scope was too big from what I realized.