proofline

Level FSource

Independent V&V for coding agents. The agent says done; Proofline re-runs every check against a contract, rejects claims the evidence does not support, and gates the push. Zero dependencies, Node 22, MCP server included.

⭐ 0Search & InfoJavaScriptRepo ↗Updated 2026-10-27

Installation

View source repo →

Related servers

worldmonitor⭐ 89.9k · Search & InfoReal-time global intelligence dashboard. AI-powered news aggregation, geopoliticdeer-flow⭐ 84.4k · Search & InfoAn open-source long-horizon SuperAgent harness that researches, codes, and creatruflo⭐ 80.5k · Search & Info🌊 The original agent harness. Deploy intelligent multi-player swarms, coordinateheadroom⭐ 78.5k · Search & InfoCompress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20mem0⭐ 68.2k · Search & InfoThe Memory Layer for AI Agents - Drop-in memory infrastructure for AI agents andcore⭐ 68.1k · Search & InfoThe Memory Layer for AI Agents - Drop-in memory infrastructure for AI agents and