Last released Jun 6, 2026
Standalone verifier for Signed Verification Receipts (SVR). No engine dependency required.
Last released Jun 1, 2026
Deterministic structural verification for knowledge graphs, agent state, and LLM output using sheaf cohomology. MCP server included.
Supported by
