Search for a command to run...
loading…
1 MCPs · 0 installs total
An MCP server that provides formal reasoning and argument validation tools for AI agents based on established computational argumentation theories. It enables s
