Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
Cross-referenced across 55 tracked directories
#2675
Popularity Rank
2 / 55
Listed In
Emerging
Adoption Stage
3/5/2026
First Seen
43
GitHub Stars
11
Forks
1
Open Issues
3/5/2026
Last Commit
Recently added to the ecosystem
Cross-Posting Opportunities
Could also be listed in these directories:
Score: 100/100
0 dependency vulnerabilities found
Run an AI-powered security scan to analyze this package's source code for vulnerabilities, prompt injection vectors, data exfiltration risks, and behavior mismatches.
Scans fetch actual source code from the GitHub repository, not just the README.
59b9f352-8cdc-44d3-9dd9-db3bfa521880
No description available
Jeremiah Lowin
The fast, Pythonic way to build MCP servers and clients.
grafana
🎖️ 🐍 🏠 ☁️ - Search dashboards, investigate incidents and query datasources in your Grafana instance
yuna0x0
📇 ☁️ - A MCP server integrating AniList API for anime and manga information