- Conduid
- Marketplace
- #program-analysis
MCP servers tagged program-analysis
9 live MCP servers tagged "program-analysis", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with program-analysis.
Codebadger
🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's structure and data flow through Joern Code…
Ida X64dbg MCP
AI-assisted reverse engineering orchestration platform for IDA Pro and x64dbg with live synchronization and MCP agent workflows.
Rllvm
Compiler wrappers for building whole-program LLVM bitcode files
REA For Web
REA for the web - explore apps, visualize their architecture, and ask AI how they work.
FaultDebugMCP
Turn C/C++ crashes into source-verified execution-flow reports. Local tracing, cross-service examples, CLI and read-only MCP.
Cgx
Map how a codebase calls itself — who calls what, what a change reaches or breaks, what's reachable or dead — across Rust, TypeScript, Go, Java, and Python. A fast, offline call-g…
Code Reason
MCP server that gives AI agents program-analysis primitives like data flow, call graphs, taint analysis so they reason from deterministic data instead of grep-and-guess."
Codebadger
🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's structure and data flow through Joern Code…
Aetiory
Fork failed Python programs into tested alternate outcomes, with original-run controls and guarded replay.