Havuz

An open standard for agent-native software requirements.

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked

Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until a

Your coding agent says done. Show the receipt. Evidence-first workflows, practical skills, and plugins for Claude Code and Codex.

TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.

Minimal Ed25519-signed activity receipts for verifiable AI agents — self-attested, offline-verifiable, no blockchain.

Check that source map mappings actually point where they claim — token-level verification, not just valid JSON.

Typed judgment tools for MCP agents. TypeSafe's Jev model as verify, screen, find, classify, rerank, decide, compare, extract, review, gate,

RobloxForge Docs 2026: Official MCP Vertical Slice Verification Layer for Studio

✅ Acceptance is open-source e2e testing for Agents. Your coding agent turns a prompt into observable checks, runs the real product, and publ

a DSL that blocks AI mistakes via proof

Redpen makes coding agents prove they are actually done.

"make", but for correctness claims. Decides when a coding agent's work is actually done, and un-decides it when you edit the code.

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

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.

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

Agent workflow for deadline-bound execution with evidence gates

Evidence-driven multi-agent FPGA/SoC FPGA workflow for Codex: RTL, CDC/RDC, STA, verification, single-writer implementation, and independent

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

Task control for AI coding agents: explicit scope, bounded verification, durable state, safe recovery. Codex · Claude Code · DeepSeek · ZCod

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

AI agents should not make irreversible changes. TraceFold escrows the inverse before an effect lands, or refuses it, and issues receipts any

A local verification receipt for AI coding agents

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

Evidence-gated Claude and Codex council orchestration.

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

Beginner-friendly Sol-led orchestration for Codex with pinned Luna and Terra workers and verified review.

The Fable Method: a structured problem-solving loop that gives any model Fable 5 grade thinking. Four Hermes Agent skills (think/act/prove/g

Open-source local MCP runtime that checks AI-agent tool calls, gates risky actions on approval, verifies results, and avoids blind retries a

An operating harness for repositories maintained by AI coding agents. Memory hierarchy, verification ladder and reusable workflows.

Overnight experiment: can an AI agent make money, and can you trust what it reports? The agent produces claims; a separate verifier it canno

Audits AUR PKGBUILD updates before you install: detects structural changes, suspicious commands, typosquatting, and novelty signals, then pr

Fast, deterministic verifier and gate for AI agents: exact math, claim and citation checks, shell/write policy, hash-chained step ledger and

Hermes-native skill for systematic coding loops, real verification, and clean agent handoffs

A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhausti

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

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

Subagent Verification for Claude AI Code Networks 2026

Automated Proof-of-Carrying Change Management for AIOps 2026

A small, vetted, self-evolving harness for Claude Code — curated, not dumped. Skills, safety guards, and a self-improvement loop.

Evidence-backed proof of done for Claude Code, Codex, Cursor, and other AI coding agents. Run real checks, bind results to current Git state

Bounded loops for coding agents: test gates, held-out acceptance checks, hard stops, git-backed resume

Proof-of-done for AI coding agents. Local evidence receipts for Codex, Claude Code, Cursor, and GitHub Actions.

A pipeline of Agent Skills that run the full SDLC — requirements to deployment, then a per-feature design→build→verify loop — as one pipelin

🛡️ An open-source trust verification CLI to validate and verify real-world claims with @openapi®.

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

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

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

Fable-inspired verification-first workflow skill for Codex

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