MCP.so
ログイン
タグ

1 #propositional-logic MCP Servers & Clients

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

すべて

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 #propositional-logic MCP server?

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

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

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

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