glama/fc0web/rei-verify
As of —, fc0web/rei-verify is unknown.
A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providing tools for counterexample search, Lean verification, and audit chains with a 4-value verdict system.
No advertised endpoint or package; see https://github.com/fc0web/rei-verify for how to run it.
Compare: most reliable security servers · most reliable code servers
Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.
Claude Code
claude mcp add --transport http glimind https://glimind.com/mcp
Claude Desktop · Windsurf · Cline (mcpServers JSON)
{
"mcpServers": {
"glimind": {
"type": "http",
"url": "https://glimind.com/mcp"
}
}
}
As of —, fc0web/rei-verify is unknown.
fc0web/rei-verify advertises 8 tools, including append_audit_entry, assert_breakpoints_explicit, create_audit_chain, hold_verdict_tool, record_verdict.
No advertised endpoint or package; see https://github.com/fc0web/rei-verify for how to run it.
Status page: 90-day uptime, every outage and how long it lasted.
Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.
Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.