Home / AI/LLM / mcp-logic

mcp-logic

angrysky56/mcp-logic
★ 43 stars Python 🤖 AI/LLM Updated 16d ago ⚠ Review
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
View on GitHub →

Topics

aiclaude-3-5-sonnetllmlogicmcp-serverservertool

Related AI/LLM Servers

gemini-cli ✓ Secure★ 98.5K
An open-source AI agent that brings the power of Gemini directly into your terminal.
🤖 AI/LLM TypeScript
context7 ✓ Secure★ 49.9K
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
🤖 AI/LLM TypeScript
LocalAI ★ 43.6K
The free, Open Source alternative to OpenAI, Claude and others. Self-hosted and local-first. Drop-in replacement, ...
🤖 AI/LLM Go
LibreChat ★ 34.6K
Enhanced ChatGPT Clone: Features Agents, MCP, DeepSeek, Anthropic, AWS, OpenAI, Responses API, Azure, Groq, o1,...
🤖 AI/LLM TypeScript