Skip to main content
Glama
nickharris808

crs-mcp

by nickharris808
OverviewSchemaSourceRelated ServersScoreDiscussionsAdmin
Python
Remote

Related Servers

Alternatives to crs-mcp

No user-submitted related servers found.

    Related Servers

    • rei-checker

      fc0web
      A
      license
      A
      quality
      B
      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

    • Chiasmus

      yogthos
      A
      license
      Not graded
      quality
      A
      maintenance
      MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
      79
      210
      Apache 2.0

    • fts-gate-mcp

      digitable-lol
      A
      license
      Not graded
      quality
      B
      maintenance
      MCP server for fts-gate. It enables verification of FTS executable specifications through proof-carrying checks, exposing tools to run gate checks (fts_gate_check) and list available morphisms (fts_morphisms_list), with rejection of invalid proofs via structural logical fallacy detection.
      BSD 2-Clause "Simplified"