MCP-Logic MCP Server
Rank #7469glama/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 MCP Server is a Model Context Protocol (MCP) server published by angrysky56. It ranks #7469 of 58,832 servers tracked on MCP Toplist, and its repository has 43 GitHub stars. MCP-Logic MCP Server 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,363 of 58,832 servers on MCP Toplist.
Listed on 3 registries
angrysky56
Other servers by angrysky56
- Project Synapse#5257
- AST MCP Server MCP Server#8308
- Aura Backend - Advanced AI Companion MCP Server#8582
- NeoCoder: Neo4j-Guided AI Coding Workflow MCP Server#10746
- Advanced Reasoning MCP Server#10998
- Memvid MCP Server#13775
- RoCQ#14299
- Coder DB - AI Memory Enhancement System MCP Server#15955
- OpenEnded Philosophy MCP Server#17270
- Website Downloader (Windows)#17785
- MCTS MCP Server MCP Server#19561
- Ollama MCP Server with MCP Server#19824
Not versioned
This server is published through registries that do not expose explicit version metadata. The listing tracks a single rolling release.
Frequently asked questions
- What is MCP-Logic MCP Server?
- 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 Server?
- MCP-Logic MCP Server is maintained by angrysky56, which publishes 21 MCP servers (0 total versions) tracked on MCP Toplist.
- Is MCP-Logic MCP Server an official MCP server?
- MCP-Logic MCP Server is not on the Official MCP Registry. It is listed on Glama, PulseMCP and mcp.so.
- How many versions does MCP-Logic MCP Server have?
- MCP-Logic MCP Server ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for MCP-Logic MCP Server?
- The source code for MCP-Logic MCP Server is hosted at github.com/angrysky56/mcp-logic.