1 server tagged with "propositional-logic"
Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations.