MCP-Logic
Rank #11,685glama/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 #11,685 of 76,851 servers tracked on MCP Toplist, and its repository has 44 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 65,166 of 76,851 servers on MCP Toplist.
Listed on 1 registry (2 delisted)
angrysky56
Other servers by angrysky56
- Project Synapse#12,809
- AST MCP Server#12,834
- NeoCoder Neo4j AI Workflow#15,587
- Advanced Reasoning MCP Server#18,734
- Memvid MCP Server#18,735
- MCP-RoCQ#19,072
- Aura Backend - Advanced AI Companion MCP Server#19,709
- Coder DB - AI Memory Enhancement System MCP Server#20,602
- OpenEnded Philosophy MCP Server#22,276
- MCP Windows Website Downloader Server#22,369
- MCTS MCP Server#24,536
- Ollama MCP Server with MCP Server#24,804
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
- Who maintains MCP-Logic?
- MCP-Logic is maintained by angrysky56, which publishes 28 MCP servers (0 total versions) tracked on MCP Toplist.
- Is MCP-Logic listed on the Official MCP Registry?
- 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.