What is a #logic MCP server?
An MCP server tagged #logic implements the Model Context Protocol so AI assistants like Claude, Cursor, and VS Code can access logic-related tools, data, or APIs.
2 #logic MCP Servers & Clients
Every MCP server and client below is tagged #logic — install one to give Claude, Cursor, VS Code, or any other MCP-compatible client access to logic tools.
All
MCP-Logic
angrysky56
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
Added last year
Neo Mcp Logic Analyze
giseldo
Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations.
Added 3 months ago
Frequently asked questions
Common questions about MCP servers and clients tagged #logic
How many #logic MCP servers and clients are there?
mcp.so currently lists 2 MCP servers and clients tagged #logic.
How do I install a #logic MCP server?
Open any server below and copy its install snippet into Claude Desktop, Cursor, VS Code, or another MCP client's configuration — remote servers need no separate download.