Loading MCP servers…
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
This server publishes no hosted endpoint. Run one of its packages locally.
arg2p · pypi 0.25.1 · stdio
claude mcp add --transport stdio arg2p -- uvx arg2p==0.25.1