io.github.tuProlog/arg2p
Arg2P
Is the Arg2P MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-14.
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
alive probed 2026-11-14
- Run it
- uvx arg2p@0.26.5 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Reports itself as
- arg2p 0.26.5
- Capabilities
- extensions, resources, tools
- Instructions
- 618 characters
- Of a 1M window
- 0.3 % of a 1M context window
- Count
- 2.7k tokens in Claude Opus 5.5, exact, measured 2026-11-12. With the Claude Code prefix mcp__…__ on each tool name: 2.8k. The o200k_base estimate is 1.8k. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/tuProlog/arg2p-kt
- Website
- https://tuprolog.github.io/arg2p-kt/
- Registry
- active, updated 2026-11-13 · registry entry
- Changes
- 4 recorded, reachable in 4 of them. A row is added when the result, the tool count or the cost changes.
Most expensive tools
The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.54×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| solve | 768 | 500 | 28 % |
| explore | 654 | 426 | 24 % |
| answer | 633 | 412 | 23 % |
| settings | 548 | 357 | 20 % |
| check | 129 | 84 | 5 % |
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- OpenRouter io.github.tsilva/mcp-openrouter · alive
- io.github.tspicer/amazon_ads_mcp · needs env
- io.github.tsutera09/tempo · alive
- buddie io.github.tsyyan/buddie · alive
- io.github.tuanle96/mcp-odoo · alive
- Sverige Begagnad io.github.tudorgrigoriu90/sverige-begagnad-mcp · alive
- WorldQuant BRAIN (unofficial) io.github.tukorama/mcp-server-worldquantbrain · crashed on start
- io.github.turbyho/datasheet-lens · needs args
Servers that mention argumentation or structured.
- AkkruData ai.akkrudata/akkrudata · needs auth
- Lenny Rachitsky Podcast Transcripts MCP Server ai.com.mcp/lenny-rachitsky-podcast · alive
- ai.extend/extend · needs auth
- ai.getvda/claude-schema-output-agent · newer protocol
- ai.getvda/structured-output-agent · newer protocol
- ai.getvda/structured-output-agent-c2ddcc · newer protocol
- ai.getvda/structured-output-agent-openai · newer protocol
- ai.getvda/structured-output-mcp-agent-instructor · newer protocol
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Claude | o200k |
|---|---|---|---|---|---|
| 2026-11-12 09:01 | alive | 1.1 s | 5 | 2.7k | 1.8k |
| 2026-11-06 08:40 | alive | 732 ms | 5 | 2.7k | 1.8k |
| 2026-10-30 07:53 | alive | 1.1 s | 5 | 2.7k | 1.7k |
| 2026-10-29 07:52 | alive | 908 ms | 5 | 2.7k | 1.7k |
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server answers initialize and tools/list. Nothing to fix.