What is MCP-Logic?
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
How to use MCP-Logic?
Visit the GitHub repository for installation and usage instructions:
View on GitHubRecommended Servers
MCP Server Firebase
by sheep52031
Bond MCP Server
by pangahn
#bond-mcp-server #financial-data
Distri: A Composable Agent Framework
by distrihub
#mcp #openai
anki-mcp MCP Server
by CamdenClark
#anki #mcp
image-gen MCP Server
by Ichigo3766
#image-gen #text-to-image
AGE-MCP-Server
by MCP-Mirror
#age-mcp-server #postgresql
MCP 数据库服务器 (TypeScript)
by cherl
#mcp-server-db-ts #database-server
Linear MCP Server
by magarcia
#typescript #mcp
Puppeteer MCP Server (Python Implementation)
by twolven
Netskope NPA MCP Server
by johnneerdael