MCP server that gives coding agents program-analysis primitives — data flow, call graphs, taint analysis — so they reason from ground truth instead
MCP server that gives coding agents program-analysis primitives — data flow, call graphs, taint analysis — so they reason from ground truth instead of
Coding agents are good at reading code, but they struggle with whole-program questions:
main-SNAPSHOT until CPG 11.x lands as a stable release on Central). No sibling checkouts required.Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.
Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.
| Tool | What it does |
|---|---|
| Group | Tool |
| Setup | reason_analyze_project |
| Navigation | reason_find_callees |
{
"mcpServers": {
"code-reason": {
"command": "/absolute/path/to/build/install/code-reason/bin/code-reason",
"args": [
"--stdio"
]
}
}
}From the project documentation. Replace placeholders and example paths before connecting.
main-SNAPSHOT until CPG 11.x lands as a stable release on Central). No sibling checkouts required.Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.
Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.
Query threat intelligence reports, CVEs, IOCs, STIX bundles, and weekly briefings — all through natural language, powered by the [Model Context
Human authorization gateway for AI agent transactions
MCP server(s) for Aipolabs ACI.dev
MCP server for Solhint — lint and autofix Solidity smart contracts from any MCP client