angrysky56/mcp-logic

3.5

If you are the rightful owner of mcp-logic and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.

MCP-Logic is an MCP server providing automated reasoning capabilities using Prover9/Mace4 for AI systems. It enables logical theorem proving and logical model verification through a clean MCP interface.

Tools

Functions exposed to the LLM to take actions

prove

Run logical proofs using Prover9

check-well-formed

Validate logical statement syntax

Prompts

Interactive templates invoked by user choice

No prompts

Resources

Contextual data attached and managed by the client

No resources

Related MCP Servers

View all ai_chatbot servers →

claude-task-master

4.7

by eyaltoledano

Task Master is a task management system for AI-driven development with Claude, designed to work seamlessly with Cursor AI.

ai_chatbot

biomcp

4.6

by genomoncology

BioMCP is an open-source toolkit designed to enhance AI assistants with specialized biomedical knowledge by connecting them to authoritative biomedical data sources.

research_and_data

mindsdb

4.6

by mindsdb

MindsDB is an open-source server that enables seamless interaction with large-scale federated data using the Model Context Protocol (MCP).

databases

mcp-hfspace

4.5

by evalstate

mcp-hfspace MCP Server connects to Hugging Face Spaces with minimal setup, providing Image Generation capabilities to Claude Desktop.

ai_chatbot

paelladoc

4.4

by jlcases

PAELLADOC is an AI-First Development framework implementing the Model Context Protocol (MCP) to enhance LLM interactions with external tools and context.

ai_chatbot

mcp-notion-server

4.4

by suekou

MCP Server for the Notion API, enabling LLM to interact with Notion workspaces. Additionally, it employs Markdown conversion to reduce context size when communicating with LLMs, optimizing token usage and making interactions more efficient.

databases

osp_marketing_tools

4.4

by open-strategy-partners

A comprehensive suite of tools for technical marketing content creation, optimization, and product positioning based on Open Strategy Partners' proven methodologies.

communication

mcp-trends-hub

4.4

by baranwang

Trends Hub is a one-stop aggregation service for trending topics across the web, based on the Model Context Protocol (MCP).

ai_chatbot

repomix

4.4

by yamadashy

Repomix is a tool that packs your codebase into AI-friendly formats, making it easier to use with AI tools like LLMs.

developer_tools

tavily-mcp

4.3

by tavily-ai

The Tavily MCP server is a Model Context Protocol server that integrates with AI systems to provide real-time web search and data extraction capabilities.

browser_automation

f2c-mcp

4.3

by f2c-ai

A Model Context Protocol server for Figma Design to Code using F2C.

developer_tools

HowToCook-mcp

4.3

by worryzyy

HowToCook-MCP Server is a Model Context Protocol server that transforms AI assistants into personal chefs, helping users plan meals and recommend recipes.

ai_chatbot

runno MCP

4.3

by taybenlor

`@runno/mcp` is a Model Context Protocol server that provides a secure code execution environment for AI assistants.

ai_chatbot

mcp-think-tool

4.1

by DannyMac180

A Model Context Protocol (MCP) server implementing the 'think' tool for improving Claude's complex reasoning capabilities.

ai_chatbot

mcp-server-example

4.1

by alejandro-ao

This repository contains an implementation of a Model Context Protocol (MCP) server for educational purposes, demonstrating how to build a functional MCP server that can integrate with various LLM clients.

developer_tools

think-mcp-server

4.1

by PhillipRt

The Think Tool MCP Server is an official implementation of Anthropic's 'think' tool, designed to enhance Claude's reasoning capabilities by providing a structured space for complex problem-solving.

ai_chatbot

vertex-ai-mcp-server

4.1

by shariqriazz

This project implements a Model Context Protocol (MCP) server that provides a comprehensive suite of tools for interacting with Google Cloud's Vertex AI Gemini models, focusing on coding assistance and general query answering.

ai_chatbot

github-mcp-server

4.0

by github

The GitHub MCP Server is a Model Context Protocol server that integrates with GitHub APIs for automation and interaction.

developer_tools

backlog-mcp-server

4.0

by nulab

A Model Context Protocol (MCP) server for interacting with the Backlog API, providing tools for managing projects, issues, wiki pages, and more through AI agents.

developer_tools

actors-mcp-server

4.0

by apify

Implementation of an MCP server for all Apify Actors, enabling interaction with one or more Apify Actors defined in the MCP Server configuration.

research_and_data

gateway

4.0

by centralmind

CentralMind Gateway is a tool designed to expose databases to AI agents via MCP or OpenAPI protocols, providing secure, LLM-optimized APIs.

databases

modelcontextprotocol

3.9

by perplexityai

The Perplexity Ask MCP Server integrates the Sonar API to provide Claude with real-time, web-wide research capabilities.

research_and_data

square-mcp-server

3.9

by square

The Square Model Context Protocol Server (Beta) allows AI assistants to interact with Square's connect API using the Model Context Protocol standard.

cloud_platforms

chronulus-mcp

3.9

by ChronulusAI

MCP Server for Chronulus allows users to interact with Chronulus AI Forecasting & Prediction Agents using Claude.

ai_chatbot

hyper-mcp

3.9

by tuananh

hyper-mcp is a fast, secure MCP server that extends its capabilities through WebAssembly plugins.

ai_chatbot

blender-mcp

3.8

by ahujasid

BlenderMCP connects Blender to Claude AI through the Model Context Protocol (MCP), enabling prompt-assisted 3D modeling, scene creation, and manipulation.

entertainment_and_media

unity-mcp

3.8

by CoplayDev

Unity MCP is a bridge that allows AI assistants to interact with the Unity Editor via a local Model Context Protocol (MCP) Client.

ai_chatbot