📦

Logic

Name: Logic
Author: angrysky56

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

0 installs

43 stars

11 forks

Trust: 63 — Good

Ai

Installation

npx mcp-logic

Ask AI about Logic

Powered by Claude · Grounded in docs

I know everything about Logic. Ask me about installation, configuration, usage, or troubleshooting.

0/500

No README available