Arg2P for Zed
io.github.tuprolog/arg2p
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
client:Zed
transport:stdio
runtime:pypi
Install Arg2P in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"arg2p": {
"command": "uvx",
"args": [
"arg2p"
]
}
}
}
Merge this into your existing settings object — do not replace the file. Zed docs