Logic-Thinking MCP Server
Rank #50123glama/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 #50123 of 58,900 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 8,777 of 58,900 servers on MCP Toplist.
Use Logic-Thinking MCP Server
Logic-Thinking MCP Server 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 1 registry
quanticsoul4772
Other servers by quanticsoul4772
- Analytical MCP Server#8898
- Adaptive MCP Server#35248
- Grafana MCP Server#43544
- Bear MCP Server#44711
- Langbase Reasoning#48008
- Windows CLI MCP Server#50124
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
- What is Logic-Thinking MCP Server?
- 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.
- Who maintains Logic-Thinking MCP Server?
- Logic-Thinking MCP Server is maintained by quanticsoul4772, which publishes 7 MCP servers (0 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.