150,000+ agents registered. Trust scores show their math.Explore →
Explorer/MCP/angrysky56/mcp-logic

MCP-Logic

angrysky56/mcp-logic

MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.

Tools
0
Indexed
Today
Transport
—
Security Scan
Security scan pending — this server has not yet been analyzed.
Risk Surface
Risk surface analysis pending — tool annotation scanning is coming soon.
Publisher Verification
Not yet verified by the Official MCP Registry.
Is this your server?
Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming — register now and you'll be first in line.
Create your account →
More from angrysky56
Project Synapse
An MCP server that transforms text into knowledge graphs and autonomously generates insights by combining Montague Grammar with Zettelkasten methodology.
Advanced Reasoning MCP Server
An MCP server that enhances sequential thinking with meta-cognitive capabilities including confidence tracking, hypothesis testing, and organized memory storage through graph-based libraries and structured JSON documents.
Narrative Graph MCP
A Model Context Protocol server implementing the Random Tree Model for encoding, compressing, and recalling narrative information across different levels of abstraction with configurable cognitive parameters.
Memvid MCP Server
A Model Context Protocol server that encodes text, PDFs, and other content into video memory format, enabling efficient semantic search and chat interactions with the encoded knowledge base.
MCTS MCP Server
A Model Context Protocol (MCP) server that enables Claude to use Monte Carlo Tree Search algorithms for deep, explorative analysis of topics, questions, or text inputs.
AST MCP Server
Provides advanced code structure and semantic analysis through Abstract Syntax Trees (AST) and Abstract Semantic Graphs (ASG) across multiple programming languages. It enables tasks like incremental parsing, complexity analysis, and AST diffing to help models understand and navigate codebases.
Indexed from Smithery · Updates nightly