Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
☆44Jun 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for mcp-logic
Users that are interested in mcp-logic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MCP GitHub Mapper is a MCP tool that will map any repository remotely and import the map directly into your code editor.☆25Jul 18, 2025Updated 11 months ago
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆37Jun 15, 2025Updated last year
- ☆12Jan 7, 2025Updated last year
- ☆14Jan 13, 2025Updated last year
- Model Context Protocol (MCP) server for constraint optimization and solving"☆172Sep 13, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Let LLMs manage your local dev environments☆28Jan 7, 2025Updated last year
- By transforming source code into a queryable Semantic Graph and a structured AST, this tool bridges the gap between "reading text" and "u…☆35Feb 6, 2026Updated 5 months ago
- A MCP (Model Context Protocol) client that uses Google Gemini AI models for intelligent tool usage and conversation handling. Tested wor…☆22May 27, 2025Updated last year
- Email Client as MCP Server. Feature: multiple configuration, more than just gmail☆18Apr 22, 2025Updated last year
- An MCP server for Android's Tasker automation app.☆45Mar 10, 2025Updated last year
- Detect hallucinations, repetitive bug fix (AKA. bottomless pit) and help AI coder's with access to documentations and suggest fixes.☆15Mar 5, 2025Updated last year
- ☆17Nov 9, 2025Updated 7 months ago
- MCP server that creates its own tools as needed☆24Dec 26, 2024Updated last year
- ☆16May 10, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Connect your chat repl to wolfram alpha computational intelligence☆74Aug 18, 2025Updated 10 months ago
- This an Model Context Protocol (MCP) server that integrates Notion into your AI workflows. This server enables seamless access to Notion …☆27Feb 18, 2025Updated last year
- Model Context Protocol (MCP) server implementation using Google OR-Tools for constraint solving☆21Dec 26, 2024Updated last year
- MCP Deep Research Server using Gemini creating a Research AI Agent☆70Aug 12, 2025Updated 10 months ago
- small MCP server for orchestrating tasks across LLM instances☆25Apr 29, 2025Updated last year
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆27Jun 5, 2026Updated last month
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆30Jul 22, 2025Updated 11 months ago
- 【Every star you give feeds a hungry developer's motivation!⭐️】A Model Context Protocol (MCP) server implementation that provides Google J…☆21Jun 18, 2026Updated 2 weeks ago
- ☆19Apr 5, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆23Jan 16, 2026Updated 5 months ago
- A flexible system for managing various types of sources (papers, books, webpages, etc.) and integrating them with knowledge graphs.☆18Mar 9, 2026Updated 3 months ago
- A Model Context Protocol MCP server for capturing website screenshots with full page, element, and device size features.☆50Jul 15, 2025Updated 11 months ago
- Desktop APP for Discover and Install MCP Servers☆149Dec 29, 2024Updated last year
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- ☆21Apr 12, 2025Updated last year
- An MCP server that provides AI assistants with screenshot capabilities — both web page capture via Puppeteer and cross-platform system sc…☆24Jun 29, 2026Updated last week
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated last year
- Model Context Protocol (MCP) server for LinkedIn API integration☆50Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Claude Code plugin marketplace☆34Jun 13, 2026Updated 3 weeks ago
- Academic Paper Search MCP Server for Claude Desktop integration. Allows Claude to access data from Semantic Scholar and Crossref.☆117Feb 12, 2025Updated last year
- Call another MCP client from your MCP client. Offload context windows, delegate tasks, split between models☆29Feb 25, 2025Updated last year
- A minimal Model Context Protocol 🖥️ server/client🧑💻with OpenAI and 🌐 web browser control via Playwright.☆34Apr 3, 2026Updated 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…☆91Jun 25, 2026Updated last week
- The core MCP extension for Systemprompt MCP multimodal client☆16Feb 19, 2025Updated last year
- Signaling Pathway Visualizer☆10Jun 22, 2019Updated 7 years ago