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