Proofbraid

Proofbraid. Verify before apply: an audit layer for AI coding agents. Proofbraid is a local developer tool that stops AI coding agents from breaking code. It maps a repo into a real dependency graph using the Python standard library AST, retrieves only the code structurally related to a task, and asks a model to propose a change. Every proposal is verified in a disposable copy of the repo, compile, lint and tests, before anything touches the real files. Verified fixes are recorded as hypotheses and stale ones are evicted. Pure Python 3.10 plus standard library, zero dependencies. It works with any AI through any OpenAI compatible endpoint, and any agent can call it as tools through MCP.