Neo MCP Logic Analyze

MCP Server

Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations.\\r\\n\\r\\n## What it does\\r\\n\\r\\nThis server accepts short natural-language statements and arguments, then provides structured logic-oriented outputs such as:\\r\\n\\r\\n- controlled formalization into propositional logic;\\r\\n- controlled formalization into a restricted fragment of first-order logic;\\r\\n- ambiguity detection relevant to formalization;\\r\\n- consistency checking;\\r\\n- entailment checking;\\r\\n- simple counterexamples when entailment fails;\\r\\n- natural-language explanations of the formalization process.