Skip to main content
Glama
NewJerseyStyle

FOL Prover MCP Server

by NewJerseyStyle
OverviewSchemaRelated ServersScoreDiscussions
Python
Local

Related Servers

Alternatives to FOL Prover MCP Server

No user-submitted related servers found.

    Related Servers

    • MCP-Logic

      angrysky56
      A
      license
      -
      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

      meob
      A
      license
      A
      quality
      A
      maintenance
      MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
      1
      3
      Apache 2.0

    • Pyke MCP Server

      NewJerseyStyle
      A
      license
      -
      quality
      C
      maintenance
      An MCP server for the Pyke logic programming engine that enables LLMs to perform logical reasoning using knowledge bases with facts, rules, and queries. It supports session management, forward chaining inference, and bulk loading of programs in Logic-LLM format.
      MIT

    • warrant-mcp

      jayden-chmod
      F
      license
      -
      quality
      D
      maintenance
      An MCP server that provides formal reasoning and argument validation tools for AI agents based on established computational argumentation theories. It enables structured argument analysis, defeasible reasoning, and dialogue management using frameworks like Dung, Toulmin, and Walton's schemes.

    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/NewJerseyStyle/folprover-mcp'

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