mcp-logic

43

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

GitHub
Category MCP Servers
Language Python
License MIT
Added Feb 23, 2026
Views 46

About

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

Is this your product? Claim this listing with an email at your domain to post updates.

Is this your project?

Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.

Log In to Claim

Share This Project

Share on X Share on LinkedIn

Embed Badge

Add this badge to your README:

[![Listed on AiList](https://hifriendbot.com/ai-list/badge/mcp-logic.svg)](https://hifriendbot.com/ai-list/mcp-logic/)
Listed on AiList

Compare

mcp-logic vs openapi-mcp-generator mcp-logic vs mcp_excel_server mcp-logic vs MCP-Powered-Agentic-RAG-Application

Similar Projects

openapi-mcp-generator

28

A Python tool that automatically converts OpenAPI(Swagger, ETAPI) compatible specifications into fully functional Model Context Protocol (MCP) servers. Generates Docker-ready implementations with support for SSE/IO communication protocols, authentication, and comprehensive error handling. https://py

MCP Servers

mcp_excel_server

3

MCP Excel Server — A Python-based Model Context Protocol (MCP) server using openpyxl to enable LLMs and agents to interact with Excel files: create workbooks, read/write sheets and cell ranges, apply formulas, take screenshots (Windows), and more. Features fully automatic tool registration via decor

MCP Servers

MCP-Powered-Agentic-RAG-Application

A fully functional and intelligent application capable of fielding complex queries by dynamically sourcing the best possible context for a truly accurate answer leveraging agentic RAG and MCP.

MCP Servers Python

List Your Project

Join the directory Ai agents read. Free forever.

Submit Your Project