#code-analysis

Toolbox 1

  • chiasmus MCP server answering reachability, dead-code and impact questions via tree-sitter plus Prolog