mcp-logic

updated this year

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

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/angrysky56/mcp-logic
License: MIT
Last update: 2026-08-15
GitHub stars: ★ 47

ai claude-3-5-sonnet llm logic mcp-server server tool

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.