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