Trace Tainted Input Through Code Paths

An MCP server that gives LLMs formal verification tools using Z3 and Prolog, plus tree-sitter-based code graph analysis. It supports constraint checking, reachability, dead-code detection, impact analysis, and structured code review workflows.

MCP | TypeScript · formal verification · MCP server