Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
☆46Aug 15, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An MCP server allowing AI assistants to use a Neo4j knowledge graph as their primary, dynamic instruction manual and long term project me…☆20Dec 17, 2025Updated 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.☆25Jul 18, 2025Updated last year
- ☆17Nov 9, 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
- By transforming source code into a queryable Semantic Graph and a structured AST, this tool bridges the gap between "reading text" and "u…☆37Feb 6, 2026Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Detect hallucinations, repetitive bug fix (AKA. bottomless pit) and help AI coder's with access to documentations and suggest fixes.☆14Aug 15, 2026Updated 2 months ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆186Updated this week
- ☆18Jan 13, 2025Updated last year
- Email Client as MCP Server. Feature: multiple configuration, more than just gmail☆18Apr 22, 2025Updated last year
- Let LLMs manage your local dev environments☆28Jan 7, 2025Updated last year
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆30Jun 5, 2026Updated 4 months ago
- ☆21Oct 6, 2026Updated last week
- ☆15May 10, 2026Updated 5 months ago
- Audiense Insights MCP Server is a server based on the Model Context Protocol (MCP) that allows Claude and other MCP-compatible clients to…☆19Jun 16, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- Connect your chat repl to wolfram alpha computational intelligence☆75Aug 18, 2025Updated last year
- Atom of Thoughts (AoT) MCP is a server that decomposes complex problems into independent atomic units of thought, using the dependencies …☆61May 14, 2025Updated last year
- Simply Typed Lambda Calculus with de Bruijn indices☆19Oct 9, 2026Updated last week
- 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
- Call another MCP client from your MCP client. Offload context windows, delegate tasks, split between models☆28Feb 25, 2025Updated last year
- Graph queries for your directories of frontmatter markdown documents. Neo4j-inspired syntax. Manage personal knowledge graphs, static web…☆18May 17, 2026Updated 5 months ago
- Share code with LLMs via Model Context Protocol or clipboard. Rule-based customization enables easy switching between different tasks (li…☆307Aug 26, 2026Updated last month
- ☆16Apr 4, 2026Updated 6 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Use NavamAI to supercharge your productivity and workflow with personal, fast, and quality AI. Turn your Terminal into a configurable, in…☆26Oct 15, 2024Updated 2 years ago
- Model Context Protocol Server For Cyber Security☆16Feb 4, 2026Updated 8 months ago
- Smart-Thinking is a Model Context Protocol (MCP) server that delivers graph-based, multi-step reasoning without relying on external AI AP…☆33Sep 20, 2026Updated 3 weeks ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆63Jan 26, 2024Updated 2 years ago
- MCP server for retrieval augmented thinking and problem solving☆24Aug 13, 2025Updated last year
- MCP Server connects with claude code local command.☆34Aug 25, 2026Updated last month
- Contemplative reasoning MCP server — Lotus Sutra wisdom framework with interactive ext-apps journey visualization.☆35Updated this week
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- A curated list of vintage large language models — also called historical or time-capsule LLMs — trained from scratch on text from bounded…☆42May 9, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Agent Skills for Claude Code and skills-aware runtimes: MCP, design, code review, workflows, Next.js, and creative production. The FrankX…☆47Updated this week
- Signaling Pathway Visualizer☆10Jun 22, 2019Updated 7 years ago
- This tool is a cutting-edge memory engine that blends real-time learning, persistent three-tier context awareness, and seamless plug-n-pl…☆93Jun 25, 2026Updated 3 months ago
- MCP server for OpenRouter.ai integration☆64Nov 8, 2025Updated 11 months ago
- Evaluate if a task requires human intervention☆15Jan 1, 2025Updated last year
- RSS Crawler MCP Server☆19Mar 31, 2025Updated last year
- 【Star-crossed coders unite!⭐️】Model Context Protocol (MCP) server implementation providing Google News search capabilities via SerpAPI, w…☆129Updated this week