ai-verification
MCP server for groundlens — LLM hallucination detection for Claude Desktop, Cursor, Windsurf, and any MCP-compatible client.
Deterministic verification middleware for banking and financial AI. NPV, IRR, loan amortization, and interest calculations with QWED precision.
Rooben — Autonomous agent orchestration with verification, budget enforcement, and learning
Verification for Universal Commerce Protocol (UCP) transactions - Catch AI math errors before payment
Python SDK for the Verifiable Reality Layer (VRL) Proof Bundle Specification v1.0