io.github.tuprolog/arg2p
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
Target client
run in your project directory
claude mcp add arg2p -- uvx arg2p
setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok LangChain
Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
This listing does not declare its tools. Connect the server and your client will discover them on the handshake.