Certora/CertoraProver
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on...
5,526 tools matching your filters — agents, MCP servers, infra, frameworks. Sort, filter, then go.
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on...
💡 Providing easy access to human-friendly Web3 data.
The Python Anchor client.
Metorial MCP Index - An ever growing list of open source MCP servers 📁 🎉
A Model Context Protocol Server for MongoDB
The AutoGPT Crypto Plugin is a software tool that enables traders to connect their Crypto wallet or exchange to Auto-GPT...
Uniswap Universal Router SDK - Decode and Encode Transactions - Uniswap V2, V3 & V4
Home Assistant MCP Server
👾 my notes on decentralized protocols (e.g., oracles, bridges, honeypots, cryptography, decompilers, static analysis, b...
aggregate results of multiple smart contract calls into one
🚀 The reliability layer for building next gen MCP apps
MCP Server for Odoo
AI Agent Team-拥有24/7专业AI开发团队：产品经理、前端开发、后端开发、测试工程师、DevOps工程师、技术负责人。一键安装，支持中英文命令，大幅提升开发效率！
Model Context Protocol server for secure command-line interactions on Windows systems
Exploring the Model Context Protocol (MCP) through practical guides, clients, and servers I've built while learning abou...
Launch Your Own Web3 Decentralized Prediction Market in Minutes (Polymarket like)
Collection of comprehensive TypeScript libraries for blockchain development on Cardano.
Model Context Protocol server implementation for Reddit
SwarmZero's SDK for building AI agents, swarms of agents and much more.
Jumper - Multi-Chain Bridging & Swapping
Curated selection of technical publications on the solana blockchain, with a focus on DeFi, infrastructure, MEV, and fee...
MCP Server for Tree-sitter
Solana中文大全-由崔棉大师@MasterCui和捕鲸船社区小伙伴共建的Solana学习社区
Core smart contracts of the Sablier Legacy protocol