Solidity is a statically-typed, contract-oriented programming language designed for implementing smart contracts on blockchain platforms, particularly Ethereum.
Standard coding agents waste 70% of context tokens re-reading raw files with shell grep. Synapse-MCP indexes your codebase into a sub-millisecond local AST graph—giving Claude Code, Cursor, and Windsurf exact caller trees, 60% lower token spend, and zero-hallucination refactoring.
2
14
1
MIT
Why this server?
Provides static analysis for Solidity smart contracts, including contract metadata, function signatures, inheritance, call relationships, security detectors, and source code extraction.
Enables static analysis of Solidity smart contracts using Slither, including contract metadata, function details, inheritance, and security detectors through MCP tools.
23
96
AGPL 3.0
Why this server?
Provides tools for generating, auditing, fixing, and compiling Solidity smart contracts for EVM-compatible blockchains, including security analysis with exploit proofs and gas estimation.
AI-powered smart contract forge with an 8-agent adversarial security audit system. Generate, audit, fix, and compile Solidity and Anchor/Rust contracts across 8 chains.
7
69
1
MIT
Why this server?
Enables generation of Solidity smart contracts for ERC20, ERC721, ERC1155, stablecoins, RWAs, accounts, governors, and custom implementations.
A powerful tool designed to help, primarily LLMs, understand and navigate complex codebases. It functions both as a command-line application for on-demand analysis and as an MCP (Model Context Protocol) server, providing continuous repository mapping capabilities to other applications. By generating
2
2
200
MIT
Why this server?
Enables deployment of Solidity smart contracts with built-in templates (ERC20, counter, storage) and reading contract state and event logs.
Enables AI assistants to interact with the MIDL blockchain, supporting smart contract deployment, balance queries, asset bridging, Bitcoin Rune management, and more through natural language.
29
1
Why this server?
Generates fuzzing test suites for Solidity smart contracts, including invariant properties, setup configurations, and target function definitions for security testing.
Recon Fuzz Chimera MCP knowledge to multi fuzzing enviornments compatibility in Solidity Smart contracts
4
19
MIT
Why this server?
Enables automated analysis of Solidity smart contract source code to identify malicious patterns such as asymmetric taxes, hidden administrative functions, and fraudulent ownership renouncements.
Provides access to ODEI's constitutional knowledge graph, AI safety guardrails, and EVM smart contract auditing tools. It enables users to query structured domain nodes, validate agent actions, and perform security audits directly through an MCP client.
