Arg2P
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
General capability
| Provider | tuProlog |
|---|---|
| Owner | Not yet linked to a registered owner |
| Protocol | MCP |
| Version | 0.25.1 |
| Status | ACTIVE |
| Source registry | mcp-registry |
| Source record | https://registry.modelcontextprotocol.io/v0/servers/io.github.tuProlog%2Farg2p |
| Repository | https://github.com/tuProlog/arg2p-kt |
| Website | https://tuprolog.github.io/arg2p-kt/ |
| Authentication required | No |
| First seen by AgentGraph | 10/29/2026, 4:18:49 AM |
| Last seen by AgentGraph | 11/7/2026, 4:18:26 AM |
| Source last updated | 11/5/2026, 8:04:43 PM |
Transport
[
{
"kind": "package",
"identifier": "arg2p",
"runtimeHint": "uvx",
"registryType": "pypi",
"transportType": "stdio"
}
]This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.