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
☆41Updated last month
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☆71Updated 5 months ago
- ☆22Updated 3 months ago
- ☆12Updated last year
- A TypeScript Model Context Protocol (MCP) server to allow LLMs to programmatically construct mind maps to explore an idea space, with enf…☆27Updated 10 months ago
- Speech MCP: A Goose MCP extension for voice interaction with audio visualization☆78Updated 3 months ago
- MCP tool to allow multiple chains of thought☆44Updated 3 weeks ago
- A unified agent orchestration hub that lets you configure and manage multiple AI agents (native, ACP, AGUI, Claude Code) via YAML, and ex…☆54Updated this week
- This tool is a cutting-edge memory engine that blends real-time learning, persistent three-tier context awareness, and seamless plug-n-pl…☆86Updated last month
- Chain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement o…☆26Updated 10 months ago
- a Python library that uses Reinforcement Learning (RL) to train LLMs.☆42Updated 5 months ago
- Agent workspace template for gptme☆41Updated last week
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆32Updated 6 months ago
- MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆24Updated last week
- Let LLMs manage your local dev environments☆27Updated last year
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆37Updated 7 months ago
- MCP server that creates its own tools as needed☆25Updated last year
- MCP GitHub Mapper is a MCP tool that will map any repository remotely and import the map directly into your code editor.☆21Updated 6 months ago
- CLI that uses DSPy to interact with MCP servers.☆23Updated 10 months ago
- Easy MCP (Model Context Protocol) servers and AI agents, defined as YAML.☆18Updated last month
- Tools to simplify life with AI☆28Updated 9 months ago
- ☆89Updated last year
- ☆21Updated last year
- 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…☆46Updated 6 months ago
- An MCP Server that works with Roo Code/Cline.Bot/Claude Desktop to optimize costs by intelligently routing coding tasks between local LLM…☆40Updated 6 months ago
- 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…☆22Updated 8 months ago
- A Model Context Protocol (MCP) server that provides enhanced file operation capabilities with streaming, patching, and change tracking su…☆20Updated 6 months ago
- ☆32Updated 8 months ago
- Glyphs, acting as collaboratively defined symbols linking related concepts, add a layer of multidimensional semantic richness to user-AI …☆56Updated 11 months ago
- An open-source debugging agent in VSCode☆81Updated last year
- ☆21Updated 9 months ago