Logic
Verified IntegrationClient Configuration
— Connect Logic to Claude Desktop or Cursor in seconds{
"mcpServers": {
"logic-1": {
"command": "npx",
"args": [
"-y",
"@modelcontextprotocol/server-logic-1"
],
"env": {}
}
}
}~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows).System Overview
Enables first-order logic reasoning, theorem proving, model finding, and syntax validation as a self-contained server.
7/23/2026
Open Source
stdio / SSE RPC
Frequently Asked Questions
Architecture and operational details for Logic
Logic utilizes a clear, human-readable first-order logic syntax that is compatible with Prover9, including universal and existential quantifiers, standard logical connectives (AND, OR, NOT, IMPLIES), predicates, constants, and variables.
Related MCP Servers
Browse all servers →Empower AI assistants to generate and convert documents, manage templates, and automate document workflows efficiently.
Provides a multi-tenant, AI-native Content Delivery Network deployable on Cloudflare, featuring sub-100ms TTFB, AI agent controllability, and comprehensive accessibility.
Deploy a Model Context Protocol server on Cloudflare Workers without requiring authentication.