agent-verification

AI agents can generate code, but still struggle to understand what they build. Reticle brings Jev-style machine-native runtime perception to web & desktop applications.

A loop engineering framework — state a Goal; Rounds run until a skeptical, read-only Verify agent settles it.

Tools for AI agents to test, fix and optimise your codebase

🔍 Agent Verifier is a coding agent skill that verifies code against organizational policies, code quality patterns, security requirements, and framework best practices — before code ships. Works with Claude Code, Cursor, Windsurf, and 30+ agents.

The open-source MultiAgentOps evaluation and verification harness for any industry business workflow.

Agent Network System (ANS): A Foundational Hybrid Architecture for Secure AI Agent Ecosystems

Abandoned, unsupported research archive for a local-first, model-agnostic LLM agent harness exploring orchestration, code retrieval, off-agent verification, deterministic replay, sandboxing, context management, and model routing. MIT.

A service-agnostic proof-of-intelligence gate. Issues escalating challenges and mints offline-verifiable proofs to tell intelligent agents from dumb scripts

The open root-of-trust for agent identity on the internet. A public, federated registry of trusted attestation issuers — the agent runtimes authorized to vouch for agents acting on behalf of humans. Services verify agent attestations against this registry to determine if the issuing runtime is legitimate.

Cross-session verification, claims and a decision ledger for DeepSeek Harness — so two agent sessions don't repeat, contradict or deadlock each other.

Proof of Agent Work (PoAW): an open protocol and self-hostable node that verifies what AI agents claim they did and issues signed, publicly checkable receipts.

Prove every "done." — verifies AI agent completion claims against evidence declared before the work. Observe-mode by default, zero-config, four runtimes.

Composable, offline, stdlib-only verifier for re-derivable, attested artifacts — recompute the answer, don't trust the claim. Apache-2.0.

Verifiable agent identity for A2A and MCP. Cryptographic claims, append-only transparency log, recovery-key revocation. Apache 2.0.

Open-source toolkit for AI agent verification: measure how many independent votes your review panel (LLM judges, CI checks, human reviewers) is really worth, audit review gates for correlated errors, and keep reproducible evidence for every accept/reject.

QED Proof MCP server (@qed-proof/mcp): let Claude, Cursor or any MCP client verify an AI agent's claimed work and check signed receipts offline.

Proof of Agent Execution — the neutral trust layer issuing portable, signed execution credentials for AI agents (x402 · MCP · ERC-8004).

The AI-to-AI Protocol Layer that catches unreliable agent outputs before they cost you money. Claim-level verification, escrow, and slashing. 224 tests, 12/12 adversarial patterns caught.

Local-first coding agent verification and adversarial review with frozen evidence, moderated findings, and human final acceptance.