"author:ALEXaquarius" matching MCP servers:

Enables LLMs and agents to verify multi-hop relational claims before asserting them, using zero-token relation-algebra proofs with precision guarantees. It supports opt-in calibration guards for entity normalization and relation transitivity.