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
☆34Updated 5 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:
- Connect your chat repl to wolfram alpha computational intelligence☆61Updated last month
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆36Updated 3 months ago
- ☆12Updated 9 months ago
- MCP tool to allow multiple chains of thought☆40Updated 8 months ago
- ☆38Updated 4 months ago
- MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆22Updated 8 months ago
- A Model Context Protocol (MCP) server that provides enhanced file operation capabilities with streaming, patching, and change tracking su…☆18Updated 2 months ago
- ☆82Updated 9 months ago
- ☆34Updated 6 months ago
- A TypeScript Model Context Protocol (MCP) server to allow LLMs to programmatically construct mind maps to explore an idea space, with enf…☆24Updated 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…☆70Updated 2 months ago
- MCP server to manage letta server and comunicate with agents☆38Updated this week
- ☆51Updated 2 months ago
- ScapeGraph MCP Server☆39Updated this week
- Chain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement o…☆25Updated 6 months ago
- An intelligent MCP server that serves as a guardian of development knowledge, providing Cline assistants with curated access to latest do…☆75Updated 9 months ago
- Let LLMs manage your local dev environments☆26Updated 9 months ago
- MCP to explore websites with llms.txt files☆68Updated 4 months ago
- ☆21Updated this week
- ☆20Updated 5 months ago
- Official Vectorize MCP Server☆93Updated 3 months ago
- This repository contains a collection of community-maintained Model Context Protocol (MCP) servers. All servers are automatically listed …☆64Updated 10 months ago
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆32Updated 2 months ago
- Query OpenAI models directly from Claude using MCP protocol.☆73Updated 10 months ago
- MCP GitHub Mapper is a MCP tool that will map any repository remotely and import the map directly into your code editor.☆18Updated 2 months ago
- 🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…☆180Updated 3 months ago
- MCP Server to make line-based edits to a file.☆29Updated 9 months ago
- Agent workspace template for gptme☆39Updated 2 months ago
- Detect hallucinations, repetitive bug fix (AKA. bottomless pit) and help AI coder's with access to documentations and suggest fixes.☆12Updated 7 months ago
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆24Updated 2 months ago