Skip to main content
Glama
nickharris808

crs-mcp

by nickharris808
OverviewSchemaRelated ServersScoreDiscussions
Python
Remote

Related Servers

Alternatives to crs-mcp

No user-submitted related servers found.

    Related Servers

    • Chiasmus

      yogthos
      A
      license
      -
      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.
      89
      207
      Apache 2.0

    • fts-gate-mcp

      digitable-lol
      A
      license
      -
      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"

    • mcp-z3-prover

      daedalus
      A
      license
      A
      quality
      C
      maintenance
      MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.
      11
      1
      MIT

    • mcp-solver

      szeider
      A
      license
      -
      quality
      A
      maintenance
      A Model Context Protocol (MCP) server that exposes MiniZinc constraint solving capabilities to Large Language Models.
      177
      MIT

    Latest Blog Posts

    MCP directory API

    We provide all the information about MCP servers via our MCP API.

    curl -X GET 'https://glama.ai/api/mcp/v1/servers/nickharris808/crs-mcp'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server