MCP.so
Sign In
Tags

1 #formal-logic MCP Servers & Clients

Every MCP server and client below is tagged #formal-logic — install one to give Claude, Cursor, VS Code, or any other MCP-compatible client access to formal-logic tools.

All

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

What is a #formal-logic MCP server?

An MCP server tagged #formal-logic implements the Model Context Protocol so AI assistants like Claude, Cursor, and VS Code can access formal-logic-related tools, data, or APIs.

How many #formal-logic MCP servers and clients are there?

mcp.so currently lists 1 MCP servers and clients tagged #formal-logic.

How do I install a #formal-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.