fc0web/rei-verify

Four primitives supporting the core of an anti-falsification machine (Verdict / IncompleteMarker / AuditChain / VerifiedExecution) + MCP wrapper. Type-level guarantees that “silence is not disguised as success.”

0Stars on the repository
1Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
customA LICENSE file GitHub cannot name, so bodies are not copied

rei-verify

01

fc0web/rei-verify

MCP server Claude CodeCodexCursor +2

A locally run MCP server that wraps four verification building blocks: verdicts, incomplete markers, audit chains, and verified execution. The name and description indicate a focus on checking and recording whether work can be trusted.

not rated 0 2mo ago A tokens not measured