Other / Arg2P

Arg2P

io.github.tuProlog/arg2p · v0.23.0

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

Description supplied by the publisher in the MCP Registry. We have not tested this server.

GitHub repositoryWebsite

Install

uvx arg2p mcp

Assembled from the package metadata in the official MCP Registry (including any subcommand or flag the publisher lists). Some publishers do not list the subcommand that starts MCP mode, so confirm the command in the README, along with any required configuration and credentials, before connecting it to real data.

Signals

GitHub stars14
npm weekly downloads-
Last pushtoday
LicenceMIT
Open issues1
SECURITY.mdNo
LanguageKotlin
Latest version published2026-10-29

Signals captured from GitHub, npm and the official MCP Registry on November 2, 2026. See the scoring method.

Similar servers

Patchloom

Score 88

Agent-safe structured edits: JSON/YAML/TOML/md/AST, dry-run, batch/tx. Not a filesystem MCP.

★ 20↓ 676/wkMITpushed 3d ago
Other

NoneCap

Score 84

Solve hCaptcha and hCaptcha Enterprise challenges and get back a token, via the NoneCap API.

★ 221↓ 785/wkMITpushed today
Other

mcp-sap-gui

Score 83

SAP GUI for Windows automation for AI agents - 59 structured tools via SAP GUI Scripting API

★ 42MITpushed 1d ago
Other

Five MCP servers worth your time, every week

The Plug Weekly is a free email picked from these scores. About a 3-minute read. Unsubscribe any time.

Subscribe free