Skip to content

TRUE

TRUE (https://supabase-true.vercel.app/): No review bottlenecks.

Code Video Cerebral Valley

Core trick

Verifies each agent-generated change against tests and policy checks, blocking unverified commits from reaching the protected main branch.

Tags

dev toolssecurity

Description

TRUE (https://supabase-true.vercel.app/): No review bottlenecks. No merge conflicts. No broken tests. No wasted hours debugging AI-generated code. Every change is verified before it lands, so only proven code gets through.
yhinai/true★ 00 forksPythonMITCreated Apr 18, 2026 · last push Apr 27, 2026

README excerpt

<div align="center">

# Correct by Construction

**Verification-first control plane for coding agents.**

[![CI](https://github.com/yhinai/true/actions/workflows/ci.yml/badge.svg)](https://github.com/yhinai/true/actions/workflows/ci.yml)
[![License: MIT](https://img.shields.io/badge/license-MIT-blue.svg)](LICENSE)
[![Python 3.11+](https://img.shields.io/badge/python-3.11+-blue.svg)](pyproject.toml)
[![Contract](https://img.shields.io/badge/contract-2026--04--18.v2-green.svg)](src/cbc/headless_contract.py)
[![main: PR-gated](https://img.shields.io/badge/main-PR--gated-brightgreen.svg)](#silent-pr-gated-workflow)
[![tests: 249](https://img.shields.io/badge/tests-249_passing-brightgreen.svg)](#)
[![dashboard live](https://img.shields.io/badge/dashboard-live-blueviolet.svg)](https://supabase-true.vercel.app/)
[![autonomous: yes](https://img.shields.io/badge/remediation-autonomous-orange.svg)](#autonomous-remediation-loop)
[![IntelliJ plugin](https://img.shields.io/badge/JetBrains-plugin-000.svg)](plugin/README.md)
[![demo video](https://img.shields.io/badge/demo-video-red.svg)](https://www.youtube.com/watch?v=OOqca_EjjwQ)

</div>

---

## Live Dashboard & Demo

<table>
<tr>
<td width="50%" valign="top">

### 📺 Watch it run

[![CBC demo video](https://img.youtube.com/vi/OOqca_EjjwQ/maxresdefault.jpg)](https://www.youtube.com/watch?v=OOqca_EjjwQ)

End-to-end walkthrough — task in, verdict out, proof in the ledger.

</td>
<td width="50%" valign="top">

### 🎛️ Command Center

**→ [su

Team