Logic-Thinking MCP Server
Rank #56,672glama/quanticsoul4772/logic-thinking
Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
Logic-Thinking MCP Server is a Model Context Protocol (MCP) server published by quanticsoul4772. It ranks #56,672 of 76,851 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. Logic-Thinking MCP Server is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jan 11, 2026.
Ranks ahead of 20,179 of 76,851 servers on MCP Toplist.
Listed on 1 registry
quanticsoul4772
Other servers by quanticsoul4772
- Analytical MCP Server#3,539 · 3 vers
- Adaptive MCP Server#41,620
- macOS Shell MCP Server#43,054
- Grafana MCP Server#49,816
- Bear MCP Server#51,438
- Langbase Reasoning#54,692
- Windows CLI MCP Server#56,673
Not versioned
This server is published through a registry that does 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 Logic-Thinking MCP Server?
- Logic-Thinking MCP Server is maintained by quanticsoul4772, which publishes 8 MCP servers (3 total versions) tracked on MCP Toplist.
- Is Logic-Thinking MCP Server listed on the Official MCP Registry?
- Logic-Thinking MCP Server is not on the Official MCP Registry. It is listed on Glama.
- How many versions does Logic-Thinking MCP Server have?
- Logic-Thinking MCP Server ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Logic-Thinking MCP Server?
- The source code for Logic-Thinking MCP Server is hosted at github.com/quanticsoul4772/logic-thinking.