←
Back to Open Source
🐙 GitHub Detail
M
angrysky56/mcp-logic
By angrysky56
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
GitHub
Python
MIT License
Updated 24 Jun 2026
Live Snapshot
⭐
Stars
44
🍴
Forks
11
📄
License
MIT License
🧩
Type
Python
📘
About this open-source project
Live information fetched from GitHub.
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
🌿
Default Branch
main
🐞
Open Issues
1
👀
Watchers
44