Havuz

Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence

verification toolchain for TypeScript (Tech Preview)

22 production-grade skills for AI coding agents — setup, scope, discipline, code review, security, session management, governance, ops, and

Reverify, AI agent’larının reverse engineering ve kod doğrulama iddialarını deterministik araçlarla sınayan, CLI ve MCP server sunan bir Python aracıdır.

Neden yükseliyor · Repo yalnızca 28 günlük olmasına rağmen 1.245 yıldıza ve son 28 günde 83 commit’e ulaşmış; AI agent’ları için doğrulanabilir çıktı ihtiyacıyla MCP entegrasyonu dikkat çekmiş olabilir. Dört farklı yazarın katkısı aktiviteyi destekliyor, ancak yıldızlar tek başına benimseme veya kalite kanıtı değil.

Builds up to a goal in a field you have no expertise in: splits it into the foundations that goal actually needs, mobilizes what you already

Governed execution layer for AI coding assistants: clarify intent, route capabilities, review evidence, verify results, and write back lesso

Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered c

Turns AI agents from chaotic code generators into disciplined engineers. 12-stage workflow from research to production.

AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.

From any API surface to verified AI agent tools: Go CLI + MCP + skills + SQLite + policy + proofs.

Codex harness for consistent AI-assisted development workflows, including agent instructions, standard setup/check/test/eval scripts, CI,

Fable-style verification gate for Claude Code: don't say done until it's verified. Port of the Codex plugin by Agent Korea (플라잉따릉이).

Evidence-gated Claude and Codex council orchestration.

Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.

Stop hooks that stop AI coding agents (Claude Code, Codex) from claiming "done" without proof. A Lean quality system: every defect becomes a

an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, J

Subagent Verification for Claude AI Code Networks 2026

Automated Proof-of-Carrying Change Management for AIOps 2026

OpenCode++: a Coding Agent Reliability Harness for OpenCode, adding context, edit boundaries, command evidence, verification gates, impact a

Agents can work. They cannot declare success. A governed coordination protocol for multi-agent AI work: eight contracts (task, resource, own

Give any AI agent a disposable email inbox in one tool call. MCP server for email verification, auth flows, and testing.

Verifiable AI coding agent harness / 可验证的 AI 编码代理：evidence hash-chain · hollow-answer gate · manual verification checklist · 6 engines + MCP

Covert Coder — a local-first sovereign AI development environment for governed models, workflows, execution, evidence, and verification.

The orchestration layer under your coding agent. Turns work into a typed graph, runs one model per node, and takes the verdict from outside

Click does not replace Nx, Bazel, pytest, or Jest. It sits above existing verification tools and manages which verification evidence remains

Detect hallucinations in LLM responses. Verify every claim against source documents using hybrid STS + NLI. Works with LangChain, LlamaIndex

Verify that an AI agent's on-chain claims are actually true. A claim-level groundedness checker for Solana / memecoin agents.

Fable-inspired verification-first workflow skill for Codex

A living standard for a web stack that AI agents can verify, not just generate

"Done" means nothing — a menhera-style completion gate for Claude Code that blocks empty completion claims until tests actually ran green an

Agent workflow for deadline-bound execution with evidence gates

From ticket to reviewed pull request. Free and open-source, on your machine.