Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
☆43Jun 12, 2026Updated this week
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:
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆37Jun 15, 2025Updated last year
- 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
- ☆12Jan 7, 2025Updated last year
- ☆14Jan 13, 2025Updated last year
- Model Context Protocol (MCP) server for constraint optimization and solving"☆170Sep 13, 2025Updated 9 months ago
- 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.
- ☆18Mar 11, 2026Updated 3 months ago
- Let LLMs manage your local dev environments☆28Jan 7, 2025Updated last year
- 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.☆43Mar 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
- MCP server that creates its own tools as needed☆24Dec 26, 2024Updated last year
- ☆16May 10, 2026Updated last month
- Connect your chat repl to wolfram alpha computational intelligence☆75Aug 18, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This an Model Context Protocol (MCP) server that integrates Notion into your AI workflows. This server enables seamless access to Notion …☆26Feb 18, 2025Updated last year
- MCP Deep Research Server using Gemini creating a Research AI Agent☆71Aug 12, 2025Updated 10 months ago
- small MCP server for orchestrating tasks across LLM instances☆25Apr 29, 2025Updated last year
- ☆13Mar 23, 2026Updated 2 months ago
- 【Every star you give feeds a hungry developer's motivation!⭐️】A Model Context Protocol (MCP) server implementation that provides Google J…☆21Jun 5, 2026Updated last week
- Transform your Obsidian vault into a powerful knowledge graph with MCP support☆51May 28, 2026Updated 3 weeks ago
- 【Star-crossed coders unite!⭐️】Model Context Protocol (MCP) server implementation providing Google News search capabilities via SerpAPI, w…☆123Jun 5, 2026Updated last week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆60Jan 26, 2024Updated 2 years ago
- Security-native LLM system for AI-generated application security.☆263Jun 4, 2026Updated 2 weeks ago
- 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.
- 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.☆51Jul 15, 2025Updated 11 months ago
- Model Context Protocol for Research tasks☆16Apr 1, 2025Updated last year
- 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 8, 2026Updated last week
- An MCP Server for WolframAlpha's LLM API, able to return structured knowledge & solve math☆54Feb 25, 2025Updated last year
- 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.
- Share code with LLMs via Model Context Protocol or clipboard. Rule-based customization enables easy switching between different tasks (li…☆302May 27, 2026Updated 3 weeks ago
- Visual Code Extension to Generate & Store Smart Contract Methods Profile☆13Dec 8, 2022Updated 3 years ago
- MCP tool to allow multiple chains of thought☆42Jan 7, 2026Updated 5 months ago
- Model Context Protocol (MCP) server for LinkedIn API integration☆48Updated this week
- Claude Code plugin marketplace☆34Mar 26, 2026Updated 2 months 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
- A minimal Model Context Protocol 🖥️ server/client🧑💻with OpenAI and 🌐 web browser control via Playwright.☆34Apr 3, 2026Updated 2 months ago