nomicflux/relevance-logic-mcp
If you are the rightful owner of relevance-logic-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to dayong@mcphub.com.
A Model Context Protocol (MCP) server implementing complete System R relevance logic for strict logical validation.
Tools
Functions exposed to the LLM to take actions
rlmcp_reason
Handles all relevance logic processing transparently, formalizing natural language into logical structure and validating relevance logic principles.
validate_argument
Ensures explanations involving multiple premises avoid logical gaps and fallacies.
structure_argument
Transforms complex explanations into clear logical structure.
formalize_reasoning
Strengthens reasoning by making implicit logical connections explicit.
diagnose_gaps
Identifies and fills logical gaps in complex explanations.
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client