ProofAgent-ai/proofagent-harness

Open-source test harness for AI agents. Stress-test product…