MCP ServerDevelopment

Mcp Logic

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

Open original source ↗GitHub repository ↗

Community rating

No ratings yet · 0 source visits

No account needed. A pseudonymous browser cookie prevents duplicate ratings.

What is this resource?

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

Review the original project for installation steps, licenses, compatibility and updates. This directory provides discovery links, not downloadable or verified code.

Safety & attribution

This is an external resource, not independently security-audited by this directory. Inspect permissions, scripts and changes before using it with your files or accounts.