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 3 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:
- MCP tool to allow multiple chains of thought☆35Updated 6 months ago
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆31Updated 2 weeks ago
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆35Updated last month
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆20Updated last week
- ☆38Updated 2 months ago
- ☆11Updated 7 months ago
- Connect your chat repl to wolfram alpha computational intelligence☆53Updated 6 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…☆65Updated last week
- ☆24Updated 2 months ago
- Detect hallucinations, repetitive bug fix (AKA. bottomless pit) and help AI coder's with access to documentations and suggest fixes.☆12Updated 5 months ago
- ☆18Updated 3 months ago
- Query OpenAI models directly from Claude using MCP protocol.☆71Updated 8 months ago
- MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆19Updated 6 months ago
- MCP prompt tool applying Chain-of-Draft (CoD) reasoning - BYOLLM☆12Updated 2 months ago
- An intelligent MCP server that provides tools for collecting and documenting code from directories☆14Updated 7 months ago
- ScapeGraph MCP Server☆34Updated 2 months ago
- ☆77Updated 7 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…☆34Updated 3 weeks ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆103Updated last month
- ☆53Updated 4 months ago
- ☆20Updated this week
- Tools to simplify life with AI☆25Updated 4 months ago
- ☆34Updated 4 months ago
- ☆13Updated 8 months ago
- Agent workspace template for gptme☆39Updated last week
- Official Vectorize MCP Server☆83Updated last month
- A TypeScript-based MCP server that enables testing of REST APIs through Cline. This tool allows you to test and interact with any REST AP…☆61Updated 3 weeks ago
- An intelligent MCP server that serves as a guardian of development knowledge, providing Cline assistants with curated access to latest do…☆73Updated 7 months ago
- MindBridge is an AI orchestration MCP server that lets any app talk to any LLM — OpenAI, Anthropic, DeepSeek, Ollama, and more — through …☆16Updated 2 months ago
- MCP server that allows Claude to have a voice.☆13Updated 3 months ago