MCP-Logic
Rank #7566glama/angrysky56/mcp-logic
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.
MCP-Logic is a Model Context Protocol (MCP) server published by angrysky56. It ranks #7566 of 58,900 servers tracked on MCP Toplist, and its repository has 43 GitHub stars. MCP-Logic is listed across 3 registries — Glama, PulseMCP and mcp.so, and ships as a single rolling release with no explicit version metadata. It was first listed on Jan 13, 2025.
Ranks ahead of 51,334 of 58,900 servers on MCP Toplist.
Use MCP-Logic
MCP-Logic doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 3 registries
angrysky56
Other servers by angrysky56
- Project Synapse#5340
- AST MCP Server#8427
- Aura Backend - Advanced AI Companion MCP Server#8700
- NeoCoder Neo4j AI Workflow#10851
- Advanced Reasoning MCP Server#11103
- Memvid MCP Server#13875
- MCP-RoCQ#14400
- Coder DB - AI Memory Enhancement System MCP Server#16052
- OpenEnded Philosophy MCP Server#17358
- MCP Windows Website Downloader Server#17871
- MCTS MCP Server#19637
- Ollama MCP Server with MCP Server#19887
Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is MCP-Logic?
- 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.
- Who maintains MCP-Logic?
- MCP-Logic is maintained by angrysky56, which publishes 21 MCP servers (0 total versions) tracked on MCP Toplist.
- Is MCP-Logic an official MCP server?
- MCP-Logic is not on the Official MCP Registry. It is listed on Glama, PulseMCP and mcp.so.
- How many versions does MCP-Logic have?
- MCP-Logic ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for MCP-Logic?
- The source code for MCP-Logic is hosted at github.com/angrysky56/mcp-logic.