Skip to content
Publisher listing

Arg2P

io.github.tuProlog/arg2p

Publisher-submitted data · not independently verified

Listed as active Local package v0.23.0

Profile facts from the publisher

  • Registry identity: io.github.tuProlog/arg2p
  • Published format: local package
  • Publisher-declared transport: stdio
  • Package identifier: arg2p
  • Listed version: 0.23.0

These facts are from the Registry; they do not constitute independent validation of any MCP tools.

About this server

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

A local MCP package is not a public HTTP server. Do not interpret the absence of an endpoint as downtime.

Independent technical monitoring is under development.

Authorization: not independently verified
Available tools: not independently verified

Publisher connection options

These endpoints and packages are publisher declarations, not validated integration instructions.

Copy only a published identifier or HTTPS endpoint; follow the client and publisher documentation before connecting. Credentials and approval steps can differ.

Package
arg2p
stdio pypi Package version: 0.23.0

Package identifiers are not install commands. Review the package and publisher before running any code.

NexIP Radar / R4

Independent HTTP observations

Publisher listing ≠ Independent HTTP observations

A local package cannot be checked as a public HTTP endpoint.

HTTP results do not verify MCP protocol compatibility, security or available tools. Synthetic tests are never displayed.

Published versions

Cached history from the official Registry; coverage may be incomplete until a separate import runs.

Version history not loaded yet.