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 r
About
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 r
Features
- Enables formal logical reasoning, mathematical problem-solvi
Use Cases
Maintainer
Works with
Installation
Manual Installation
npx logic-thinking-mcp-serverExamples
No examples available for this server.
Configuration
Configuration Details
claude_desktop_config.json
Not available
Security
Authentication
Features
Performance
Response Metrics
Resource Usage
Similar APIs Servers
Other popular servers in the same category.
n8n-mcp
★ 189.1kA comprehensive MCP server that provides full control over n8n automation workflows through natural language. It offers 43 tools for managing workflows, executions, credentials, and data tables, with safety features like write-mode protection and dou
Dify MCP Server
★ 142.2kProduction-ready platform for agentic workflow development.
gemini-cli-mcp
★ 104.5kA secure MCP server that wraps the Google Gemini CLI, allowing clients to query Gemini models using local OAuth sessions without requiring an API key. It provides tools for model interaction and diagnostics with built-in protection against command in
Awesome Mcp Servers MCP Server
★ 87.3k⭐ Curated list of Model Context Protocol (MCP) servers - tools that extend Claude Desktop, Cursor, Windsurf, and other MCP clients with custom capabilities.
Slack MCP Server
★ 86.1kEnables interaction with Slack workspaces through comprehensive channel management, messaging, user management, file uploads, and Block Kit formatting. Features secure credential storage via macOS Keychain and supports all major Slack operations incl
Servers MCP Server
★ 86.0kModel Context Protocol Servers
Set Up Logic-Thinking MCP Server in Your Editor
Choose your AI client for step-by-step setup instructions.
Quick Config Preview
Add this to your claude_desktop_config.json or .cursor/mcp.json
Ready to use Logic-Thinking MCP Server?
Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.