mcp-logic

About mcp-logic

MCP-Logic An MCP server for automated first-order logic reasoning using Prover9 and Mace4. Features Theorem Proving - Prove logical statements with Prover9 Model Finding - Find finite models with Mace4 Counterexample Finding - Show why statements don't follow Syntax Validation - Pre-validate formulas with helpful error messages Categorical Reasoning - Built-in support for category theory proofs Propositional Contingency - Purely analytical HCC prover for fast propositional checks Abductive Reasoning - Rank hypotheses using Variational Free Energy (VFE) Self-Contained - All dependencies...

ai claude-3-5-sonnet llm logic mcp-server server tool

Quick Facts

Stars	43
Forks	11
Language	Python
Category	MCP Server
License	MIT
Quality Score	76.9824833907219/100
Open Issues	1
Last Updated	2026-06-12
Created	2025-01-13
Platforms	claude-code, mcp, python
Est. Tokens	~13k

Compatible Skills

These tools work well together with mcp-logic for enhanced workflows:

claude-ai-toolkit — semantic(0.25)+complementary+rare_topics+same_lang+similar_pop+shared_platform (58%)
usage-monitor-for-claude — semantic(0.20)+complementary+same_lang+similar_pop+shared_platform (52%)
MoxPP — semantic(0.18)+complementary+same_lang+similar_pop+shared_platform (51%)
ccproxy — semantic(0.17)+complementary+same_lang+similar_pop+shared_platform (51%)

More MCP Server Tools

Explore other popular mcp server tools:

ECC ⭐ 226.5k
n8n ⭐ 195.7k
everything-claude-code ⭐ 186.6k
dify ⭐ 148.2k
open-webui ⭐ 143.9k
cc-switch ⭐ 114.8k
gemini-cli ⭐ 105.8k
awesome-mcp-servers ⭐ 90.3k
servers ⭐ 88.1k
lobehub ⭐ 79.6k

View all MCP Server tools →

Popular Python Agent Tools

hermes-agent ⭐ 211.4k · Codex Skill
AutoGPT ⭐ 185.4k · Agent Tool
skills ⭐ 157.3k · Claude Skill
langflow ⭐ 151.4k · Agent Tool
open-webui ⭐ 143.9k · MCP Server

Frequently Asked Questions

What is mcp-logic?

mcp-logic is Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc. It is categorized as a MCP Server with 43 GitHub stars.

What programming language is mcp-logic written in?

mcp-logic is primarily written in Python. It covers topics such as ai, claude-3-5-sonnet, llm.

How do I install or use mcp-logic?

You can find installation instructions and usage details in the mcp-logic GitHub repository at github.com/angrysky56/mcp-logic. The project has 43 stars and 11 forks, indicating an active community.

What license does mcp-logic use?

mcp-logic is released under the MIT license, making it free to use and modify according to the license terms.

View on GitHub → Browse MCP Server tools