angrysky56 / mcp-logicLinks
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
☆26Updated 2 months ago
Alternatives and similar repositories for mcp-logic
Users that are interested in mcp-logic are comparing it to the libraries listed below
Sorting:
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆17Updated last month
- This an Model Context Protocol (MCP) server that integrates Notion into your AI workflows. This server enables seamless access to Notion …☆19Updated 4 months ago
- MCP tool to allow multiple chains of thought☆32Updated 4 months ago
- Connect your chat repl to wolfram alpha computational intelligence☆43Updated 5 months ago
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆33Updated last week
- ☆13Updated 6 months ago
- Chain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement o…☆20Updated 3 months ago
- Detect hallucinations, repetitive bug fix (AKA. bottomless pit) and help AI coder's with access to documentations and suggest fixes.☆12Updated 3 months ago
- ☆18Updated 2 months ago
- ScapeGraph MCP Server☆26Updated last month
- An intelligent MCP server that provides tools for collecting and documenting code from directories☆14Updated 6 months ago
- MCP GitHub Mapper is a MCP tool that will map any repository remotely and import the map directly into your code editor.☆17Updated last month
- A MCP Server that will download any webpage as markdown in an instant. Download docs straight to your IDE for AI context. Powered by Jina…☆29Updated last month
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆29Updated 5 months ago
- MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆19Updated 5 months ago
- MCP server for OpenRouter.ai integration☆46Updated last week
- MindBridge is an AI orchestration MCP server that lets any app talk to any LLM — OpenAI, Anthropic, DeepSeek, Ollama, and more — through …☆14Updated 2 weeks ago
- Tools to simplify life with AI☆25Updated 2 months ago
- ☆19Updated this week
- A TypeScript Model Context Protocol (MCP) server to allow LLMs to programmatically construct mind maps to explore an idea space, with enf…☆14Updated 3 months ago
- MCP server to let LLM take full control on your device by providing screen automation toolkit for controlling and interacting with graphi…☆32Updated last month
- Call another MCP client from your MCP client. Offload context windows, delegate tasks, split between models☆26Updated 4 months ago
- ☆36Updated last month
- A2A MCP Server is a lightweight Python bridge that lets Claude Desktop or any MCP client talk to A2A agents. It provides three tools: reg…☆20Updated last month
- MCP server that gives Claude ability to use OpenAI's GPTs assistants☆31Updated last week
- This tool is a cutting-edge memory engine that blends real-time learning, persistent three-tier context awareness, and seamless plug-n-pl…☆59Updated 3 weeks ago
- An intelligent MCP server that serves as a guardian of development knowledge, providing Cline assistants with curated access to latest do…☆68Updated 6 months ago
- ☆38Updated last month
- MCP prompt tool applying Chain-of-Draft (CoD) reasoning - BYOLLM☆11Updated last month
- The definitive Vibe Coder's sanity check MCP server: Prevent cascading errors in AI workflows by implementing strategic pattern interrupt…☆73Updated 3 weeks ago