|
Prufing — the audit agent that shows its work
Prufing tests every control against your evidence, cites the exact line it relied on, and holds every verdict as a draft until you sign it.
|
80 % |
|
Margyn: audit your test suite and prove which checks are hollow
Margyn finds tests that assert nothing, files git never committed and gates nothing invokes, then ships a command that reproduces every finding. Free CLI, $8...
|
80 % |
|
Zac Gibson — systems that prove they're right
Zac Gibson — AI engineer, IAM, author. Systems that prove they're right: SLUICE context lever + proof gate, Northbridge zero-trust auth, Righteous Recon, Jot...
|
80 % |
|
Entigram — Agents that show their work
Entigram gives coding agents governed context: resolve meaning, verify records, check authority before consequential work, and leave auditable evidence.
|
80 % |
|
Weft — the execution ledger for autonomous coding agents
Weft is a coordination and verification protocol for autonomous software agents. Verification — not human review — is the merge gate. Git stays as import/exp...
|
80 % |
|
looprun — generate agents proven to follow your rules
looprun turns your rules into guards — deterministic checks in code — and ships every agent measured, with the exam and the evidence that prove it.
|
80 % |
|
Primary Path: approvals and a provable audit trail for AI agents
Self-hosted approval inbox and tamper-evident audit trail for AI agents that take real actions. Open source, Apache-2.0.
|
79 % |
|
Cognium — Agents Build. Cognium Evaluates. Humans Decide.
Cognium checks AI-written code the same way every time and routes only what needs a person. Every answer carries proof you can re-run.
|
79 % |
|
Ownable — the seal on everything you ship
Ownable governs AI-built software from idea to release — every change gated, every rule registered, every release sealed with evidence.
|
79 % |
|
AssetMason - Check the run before the agent starts
Review the task, plan, lock, and evidence before an agent starts work.
|
79 % |
|
LoopCode — Repository control for long-running agent work
LoopCode keeps a repository's goals, work graph, decisions, and verification evidence available to every coding-agent session.
|
79 % |
|
Stratum — The open-source, agent-first code forge
The open-source, agent-first code forge. Git hosting where every change, human or agent, proves itself before it merges. Works with any agent. Start as a lay...
|
79 % |
|
Autonomous Agent — Software delivery that proves itself
Independent, evidence-backed verification for autonomous software delivery — not the agent's word for it.
|
79 % |
|
Modonome - Guardrails for AI coding agents in CI
Governance and guardrails for AI coding agents: an off-by-default engineering loop with separate maker, checker, and merge roles, CI gate-integrity checks th...
|
79 % |
|
Cliewen
A verifiable thread from goal to acceptance evidence, checked before merge: Evidence-backed Intent Engineering for coding agents.
|
79 % |
|
agentic-gates: CI quality gates for agentic engineering
Tier-aware CI meta-gates that enforce engineering quality, supply-chain hygiene and spec traceability for codebases built with AI agents. One order at the fr...
|
79 % |
|
Supervised, agent-run software delivery — CIAN
CIAN is a web platform where a team of coding agents plans, builds, reviews, security-checks, tests and documents your changes, with two hard gates no agent...
|
79 % |
|
Forgehand
The tests passed. The code didn't. A coding agent hid fields from the assertions and the suite went green. Forgehand reads every pull request for a change th...
|
79 % |
|
Closure — Give your project a finish line.
Closure Engine turns project requirements into a finite plan, checks the evidence, and gives your coding agent only the work that's left.
|
79 % |
|
Commitscale: stop reviewing most of your agents' pull requests, safely
For startups where agents write most of the code. Your rules decide what merges on its own and what waits for its owner. Commitscale checks the proof behind...
|
79 % |
Detected social media networks