Skip to main content
Glama
angrysky56

MCP-RoCQ

by angrysky56
OverviewSchemaRelated ServersScoreDiscussions
Python
Local

Related Servers

Alternatives to MCP-RoCQ

No user-submitted related servers found.

    Related Servers

    • rocq-piler

      scidonia
      A
      license
      Not graded
      quality
      B
      maintenance
      MCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.
      8
      Apache 2.0

    • MCP-Logic

      angrysky56
      A
      license
      Not graded
      quality
      B
      maintenance
      MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
      46
      MIT

    • Euclid-MCP

      Euclid-BG
      A
      license
      B
      quality
      A
      maintenance
      MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
      8
      4
      Apache 2.0

    • SymKit

      LBurny
      A
      license
      B
      quality
      B
      maintenance
      MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
      41
      10
      Apache 2.0

    • Chiasmus

      yogthos
      A
      license
      Not graded
      quality
      B
      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

    • Swarm Orchestrator

      Of-Arte
      A
      license
      Not graded
      quality
      C
      maintenance
      An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.
      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/angrysky56/mcp-rocq'

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