Native Rust port of LLAMALEND AMM math

A Rust library to interact with automated market makers across EVM chains.

Native Rust port of Curve Finance AMM math

Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.

Open-source observability tool that uses AI agents to self-heal your software

Skills for Real Engineers. Straight from my .claude directory.

Binance and Deribit BTC cross-exchange arbitrage bot with Redis state recovery, Telegram alerts, and a Flask monitoring dashboard.

Data streaming runtime focused on performance, consistency, and extensibility. Write plugins in Rust or WASM and process data with data guarantees.

Pashov Audit Group Skills

18 Claude Code skill files for smart contract security — built from 2,749 Immunefi reports, 681 DeFiHack reproductions, and real hunt experience

Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

4.1.8.29版本的 macos 微信 hook

微信(wechat hook macos) mac 收发消息逆向

A fast Rust CLI for EVM chains. Download verified contract source, resolve proxy and diamond implementations, fetch ABIs and bytecode, and query balances/txs/gas — one API key, all major chains.

Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither

Cross-platform self-update for GPUI desktop apps, hosted on GitHub Releases.

Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF + EVMBench benchmark (120/120)

Web3 security skills kit — smart contract auditing, blockchain client analysis, and on-chain exploit investigation.

Web3.0 Audit Resources and Competition Materials

A collection of smart contract vulnerabilities along with prevention methods

BiAn is a code obfuscation tool for Solidity smart contracts (APSEC 2020).

automated EVM bytecode vulnerability scanner for closed-source contracts.

A highly flexible AI Agent-driven EVM smart contract vulnerability detection framework

A symbolic testing tool for EVM smart contracts

Slither Detectors by Pessimistic.io

Advanced EVM bytecode decompiler built with Zig. Features: decompilation, symbolic execution, gas analysis, vulnerability detection.

Symbolic and concrete EVM execution engine

Ethereum smart contract fuzzer