11 days ago
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.
Server Config
{
"mcpServers": {
"neo-mcp-logic-analyze": {
"command": "neo-mcp-logic-analyze"
}
}
}