3 projects
rei-verify
反証機械 (refutation machine) の 心臓部を 支える 4 primitives (Verdict / IncompleteMarker / AuditChain / VerifiedExecution) + MCP wrapper
rei-automator-mcp
Windows PC 自動化 (shell / file / UI / 業務) を propose → approve → execute の 3 段 lifecycle で実行する MCP サーバー
grounded-check
Check that generated text is actually supported by its sources. Deterministic, offline, no model.
