N/A
quanticsoul4772/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.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://glama.ai/mcp/servers/roii8y0la9
- Framework mcp
- Sources glama
- First Seen Mar 16, 2026
- Repository github.com/quanticsoul4772/logic-thinking
Browse more:
Search all agents
Ecosystem Report