mcp-logic

by angrysky56 · MCP Server · ★ 43

About mcp-logic

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc

aiclaude-3-5-sonnetllmlogicmcp-serverservertool

Quick Facts

Stars43
Forks11
LanguagePython
CategoryMCP Server
LicenseMIT
Quality Score47.2/100
Open Issues1
Last Updated2026-05-01
Created2025-01-13
Platformsclaude-code, mcp, python
Est. Tokens~16k

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:

View all MCP Server tools →

Popular Python Agent Tools

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