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.
すべて
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
昨年 に追加
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.
3 か月前 に追加
Frequently asked questions
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.
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.