Swapman

ProofLoop is an AI powered code repair agent that goes beyond suggesting fixes. Using Meta's Model API, it investigates Python bugs, generates code patches, and executes baseline and post patch tests inside an isolated Docker environment. It collects execution evidence and produces verifiable repair reports, ensuring a fix is only marked verified when the test results support it.