Skip to main content
Glama
92,402 servers. Updated

"author:fc0web" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • rei-checker

    fc0web
    A
    license
    A
    quality
    A
    maintenance
    Provides MCP tools to verify logical expressions and retrieve decision statistics, with verdicts VALID, INVALID, or UNDECIDED.
    2
    AGPL 3.0

  • rei-verify

    fc0web
    A
    license
    Not graded
    quality
    B
    maintenance
    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.
    MIT