UnboundCompute

Exposes Lachesis's code navigation tools over MCP, letting LLM agents ask precise compiler-level questions about dataflow, taint, callers, and guards in source

Compiler-precise code property graph for C, Python, and TypeScript, navigable over MCP. Exposes callers/callees, data- and taint-flow with source→sink witnesses