#verification

"Done" means nothing — a menhera-style completion gate for Claude Code that blocks empty completion claims until tests actually ran green and no TODOs are left behind.

AI 코딩 비서(Claude·Codex·Gemini)가 확인도 안 하고 '다 됐어요' 하는 걸 자동으로 막아주는 품질 안전장치 — 비개발자·바이브코더를 위한 한국어 우선 하네스.

Stop your AI agent from lying about tests. Hierarchical engineering loops with machine-checkable proof gates.

A persistent, risk-aware engineering protocol for Hermes Agent. Software has to earn done.

Free local proof reports for AI-built apps and public PRs; $149 async outside proof audit.

Claude Code skills that stop an agent from reporting work as finished before it has been demonstrated on the running system.

Local execution harness for OpenAI Codex with durable ledgers, verification gates, memory, and replay-gated skills.

Neutral self-hosted registry and toolkit for Agentic Resource Discovery.

Turn Claude Code into a team that has to prove it. 44 skills, 8 review agents, a validation router and a knowledge layer where nothing is claimed without a check that could have failed.

Verify test-count claims in commit messages against real pytest output, as a pre-commit hook, a Claude Code hook, or a standalone CLI.

Audit long-form LLM output for factual accuracy, hallucination risk, source quality, and actionable edit suggestions.

The trust layer for the AI agent economy — verify capability, score risk, prove reputation before every AI transaction.

Evidence-first verification for AI coding agents — prove what changed, what was tested, and what passed.

Verification-first discipline for coding agents (Claude Code + Codex CLI): 9-rule doctrine, six skills, adversarial reviewer agent, fail-open enforcement hooks. Done is proven by a command, not by opinion.

Production-grade low-level engineering skills for AI coding agents. 124 verified, source-backed skills (C, C++, Rust, asm, kernel, embedded, Zig, GPU, RE, build systems) with provenance, examples, and evals.

An AI-powered Fact-Checking Agent built with Python, Gradio, and Google GenAI.

Local-first agent operating system for durable AI coding: task graphs, deterministic context packs, executable delegation, verification evidence, and approval gates.

Model fusion for Claude Code — one model builds, a second model (DeepSeek) judges the results. First-principles missions, a proof ledger, and a release gate that won't let your agent stop early.

Stop Claude from lying to you. A Claude Code skill that fact-checks every claim against real sources — code files, live docs, web search — and flags anything it can't confirm.

Verified, git-aware memory for autonomous software agents—tracking what worked, what failed, what is currently true, and the evidence that proved it.

Deterministic postcondition verification for AI agents and autonomous systems using independent observed state.