Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)

A drop-in, 5-20x faster, experimental Homebrew alternative

A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an auto-auditor.

Symbolic Execution Benchmarks for Ethereum Smart Contracts

Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs

Solana Virtual Machine bytecode processor for IDA Pro

Semgrep rules for smart contracts based on DeFi exploits

Analyze Rust crates without touching compiler internals

document shares

awesome-zkml repository

Open-source AI hackers to find and fix your app’s vulnerabilities.

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Performant type-checking for python.

Compositional Verification of Security Protocols

✨ Programming Language Research, Applied PLT & Compilers

✨ A Learning Path for Functional Programming

Static analyzer tool for Solana

A random Solidity program generator.

Formal Verification tool for Move on Sui

Per-device scrolling prefs on macOS.

AI-powered workflow automation and AI Agents platform for AppSec, Fuzzing & Offensive Security. Automate vulnerability discovery with intelligent fuzzing, AI-driven analysis, and a marketplace of s…

一款照片水印添加工具

EDB: The Ethereum Project Debugger

本项目基于 Playwright 和AI过滤的闲鱼多任务实时/定时监控与智能分析工具，配备了功能完善的后台管理界面。帮助用户节省闲鱼商品过滤，能及时找到心仪商品。