Agent Verification Python Packages

belay-harness

The agent harness: sandbox any agent, verify each step by replaying it against real state, and keep a deterministic trace.

flashgate

The agent can't claim the firmware works — until the board says so. Hardware-in-the-loop verification gate: build → flash → boot banner → exit code.

qed-proof

QED Proof Python SDK (pip install qed-proof): submit an AI agent's claimed work, get an independently verified verdict, and verify the signed receipt offline.

vinv

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

agentproof-ai

LLM-capability CAPTCHA and obfuscated verification challenges for Python applications.

ans-project-sdk

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

nexus6

Verify which AI agent is calling your API — scoped, temporary, auditable.

anexus-verify

Verify which AI agent is calling your API — scoped, temporary, auditable.

anexus-sdk

Verify which AI agent is calling your API — scoped, temporary, auditable.

nexus6-sdk

Verify which AI agent is calling your API — scoped, temporary, auditable.

open-agent-trust

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.