angrysky56 / mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
☆20Updated 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
- This an Model Context Protocol (MCP) server that integrates Notion into your AI workflows. This server enables seamless access to Notion …☆16Updated last month
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆27Updated 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…☆15Updated last week
- MCP GitHub Mapper is a MCP tool that will map any repository remotely and import the map directly into your code editor.☆15Updated last month
- A Model Context Protocol server for Google Workspace integration (Gmail and Calendar)☆17Updated 3 months ago
- MCP server that creates its own tools as needed☆16Updated 3 months ago
- MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆16Updated 3 months ago
- Query OpenAI models directly from Claude using MCP protocol.☆52Updated 4 months ago
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆12Updated 2 months ago
- An intelligent MCP server that provides tools for collecting and documenting code from directories☆14Updated 3 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…☆46Updated 3 weeks ago
- Detect hallucinations, repetitive bug fix (AKA. bottomless pit) and help AI coder's with access to documentations and suggest fixes.☆11Updated last month
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆21Updated 2 months ago
- MCP tool to allow multiple chains of thought☆24Updated 2 months ago
- MCP to explore websites with llms.txt files☆29Updated 3 weeks ago
- ☆62Updated 3 months ago
- Let LLMs manage your local dev environments☆24Updated 3 months ago
- ☆15Updated this week
- MCP server that gives Claude ability to use OpenAI's GPTs assistants☆23Updated 3 months ago
- MCP server for executing CMD commands. Can be hooked to claude for additional agentics.☆9Updated 2 months ago
- uses all reasoning models in parallel and synthesizes an answer with o1. also has multi-chat where you can chat with any of them☆38Updated 2 months ago
- ☆35Updated 3 weeks ago
- MCP Deep Research Server using Gemini creating a Research AI Agent☆23Updated last month
- ☆31Updated this week
- ☆20Updated 2 months ago
- ChatGPT-like interface for working with AI Agents☆21Updated 6 months ago
- 🔍 A Model Context Protocol (MCP) server providing unified access to multiple search engines (Tavily, Brave, Kagi), AI tools (Perplexity,…☆21Updated this week
- Tools to simplify life with AI☆23Updated last week
- An MCP Server to enable global access to Rememberizer☆19Updated last week
- A powerful Model Context Protocol (MCP) server that manages and serves programming guidelines and rules. This server integrates with deve…☆17Updated 3 months ago