trackmcp
Back to directory
angrysky56

mcp-logic

View on GitHub

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

46 stars PythonOthers Updated Aug 15, 2026
llmlogictoolaiclaude-3-5-sonnetservermcp-server

No README could be loaded. View the project on GitHub for full documentation.

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

How do I install mcp-logic?

Open the GitHub repository and follow its README. Most MCP servers are added to your client's MCP config, then called by your agent.

Is mcp-logic open source?

Yes — it is hosted on GitHub at https://github.com/angrysky56/mcp-logic and has 46 stars.

Related MCP tools

taylorwilsdongoogle_workspace_mcp

Control Gmail, Google Calendar, Docs, Sheets, Slides, Chat, Forms, Tasks, Search & Drive with AI - Comprehensive Google Workspace MCP Server & CLI Tool

3,117 Python
aigmailgoogle-calendar+17
Skyvern-AIskyvern

Automate browser based workflows with AI

22,930 Python
apiautomationbrowser+13
tadata-orgfastapi_mcp

Expose your FastAPI endpoints as Model Context Protocol (MCP) tools, with Auth! Python-based implementation. Trusted by 11000+ developers.

11,002 Python
aiauthenticationauthorization+10
jgravellejcodemunch-mcp

Cut AI token costs 95%+ on code exploration. The leading MCP server for precise, symbol-level GitHub code retrieval via tree-sitter AST. Works with Claude Code, Cursor & any MCP client. 313B+ tokens saved.

2,651 Python
claudeclaude-codeai-coding+17
llmsresearchpaperbanana

Open source implementation and extension of Google Research’s PaperBanana for automated academic figures, diagrams, and research visuals, expanded to new domains like slide generation.

2,302 Python
academic-researcharxivgemini+17
nottelabsnotte

Cloud browser infrastructure and web automation platform for your AI and coding agents

2,000 Python
agentaianthropic+5

Run your own MCP server? See who uses it and what to fix.

Measure it with TrackMCP