Code Scalpel – AST analyzer and security scanner (MCP server)
It turns real program analysis — ASTs, cross-file dependency graphs, taint tracking and Z3 symbolic paths — into callable MCP tools for agents, not just another prettier linter. Concrete features like simulate_refactor, generate_unit_tests from symbolic paths, and cross-file security_scan give it a distinct technical voice. The <10% false-positive claim and heavy test coverage are promising, but I'd want to see results on large, messy repos before swapping out existing scanners.