"author:codesphere-u" matching MCP servers:

Enables deterministic auditing of agent responses against source documents, verification of workspace file paths, line ranges, and AST symbols, rule listing, and reproducible benchmark execution through MCP tools.

Enables autonomous coding agents to localize faults from tracebacks, verify candidate patches against deterministic anti-reward-hacking rules, apply transactional changes with automatic rollback, and inspect AST symbols through MCP tools.

Enables autonomous-agent runs to be verified through a deterministic seven-gate pipeline and cryptographically attested with RFC 6962 SHA-256 Merkle proofs, including selective-disclosure inclusion proofs and GitHub pull-request attestation cards.