fc0web/rei-verify

反証機械の心臓部を支える 4 primitives (Verdict / IncompleteMarker / AuditChain / VerifiedExecution) + MCP wrapper。「沈黙を成功と偽装しない」型的保証。

Open on GitHub

0Stars on the repository

1Mods indexed here, across every type

14d agoLast push, which is what freshness is scored on

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

rei-verify

fc0web/rei-verify

MCP server Claude CodeCodexCursor +2

反証機械 (refutation machine) の心臓部を支える 4 primitives (Verdict / IncompleteMarker / AuditChain / VerifiedExecution) + MCP wrapper. Runs locally from the rei-verify Python package.

0 14d ago A tokens not measured