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
☆29Updated 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:
- ScapeGraph MCP Server☆32Updated 2 months ago
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆16Updated last month
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆34Updated last month
- ☆18Updated 3 months ago
- Connect your chat repl to wolfram alpha computational intelligence☆48Updated 6 months ago
- ☆11Updated 6 months ago
- ☆38Updated 2 months ago
- 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
- Detect hallucinations, repetitive bug fix (AKA. bottomless pit) and help AI coder's with access to documentations and suggest fixes.☆12Updated 4 months ago
- This tool is a cutting-edge memory engine that blends real-time learning, persistent three-tier context awareness, and seamless plug-n-pl…☆61Updated this week
- MCP server for OpenRouter.ai integration☆51Updated 3 weeks ago
- 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 server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆19Updated 6 months ago
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆29Updated 5 months ago
- Speech MCP: A Goose MCP extension for voice interaction with audio visualization☆52Updated 2 months ago
- MCP tool to allow multiple chains of thought☆35Updated 5 months ago
- A MCP implementation of the personal intelligence framework (PIF)☆51Updated 2 months ago
- ☆33Updated 7 months ago
- MCP Deep Research Server using Gemini creating a Research AI Agent☆40Updated 4 months ago
- MCP server that creates its own tools as needed☆23Updated 6 months ago
- An intelligent MCP server that serves as a guardian of development knowledge, providing Cline assistants with curated access to latest do…☆71Updated 6 months ago
- Chain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement o…☆21Updated 3 months ago
- Let LLMs manage your local dev environments☆25Updated 6 months ago
- MCP server enabling persistent memory for Claude through a local knowledge graph - fork focused on local development☆50Updated 4 months ago
- ☆34Updated 4 months ago
- ☆46Updated 3 months ago
- ☆58Updated 4 months ago
- ☆18Updated 4 months ago
- 🧠 MCP server implementing RAT (Retrieval Augmented Thinking) - combines DeepSeek's reasoning with GPT-4/Claude/Mistral responses, mainta…☆107Updated 5 months ago
- A beginner-friendly guide server that helps users understand MCP concepts, provides interactive examples, and demonstrates best practices…☆60Updated 6 months ago