Arg2P for Claude Code

io.github.tuprolog/arg2p

Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results

client:Claude Code transport:stdio runtime:pypi

Install Arg2P in Claude Code

run in your project directory

claude mcp add arg2p -- uvx arg2p

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs