Tag
4 repositories
A curated list of great blockchain or crypto-based research tools, products, and services, that allows you to research the market in a way like never before!❤️🔥
Soroban Smart Contracts for Frontier Registry Build - with support from SDF
Benchmark suite for smart contract vulnerability detection tools across 7 categories: static analysis, symbolic execution, fuzzing, formal verification, ML/DL, LLM agents, and hybrid. Evaluates Slither, Mythril, GPTScan & more on accuracy, coverage, and scalability. Supports review paper.
Claude plugin for applied blockchain research: formalizing behavior gaps, designing causal proofs, and extending standards like ERC‑6551.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.