Arg2P

io.github.tuProlog/arg2p

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "arg2p": {
      "command": "uvx",
      "args": [
        "arg2p"
      ]
    }
  }
}

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.25.2
Registry
active
Published
11/8/2026

More Developer Tools servers

Browse all Developer Tools →

Parrot

turantekin

Your recorded Mac meetings in Claude: search, promises with owners, follow-ups. Local, read-only.

Developer ToolsAdded 5 days ago

Iconoteka

iconoteka

Search 1,400 open-source icons in 7 weights and 2 styles, and get paste-ready SVG.

Developer ToolsAdded 1 month ago

io.github.TurkerYakup/mcp-server-google-antigravity

TurkerYakup

MCP server exposing Google Antigravity (agy CLI / Gemini): jobs, codebase analysis, file tools.

Developer ToolsAdded 3 months ago

OokCite

TurtleTech-ehf

Catch fabricated citations: verify DOIs/ISBNs and format them in 2900+ CSL styles.

Developer ToolsAdded 1 month ago

Engram

TushaeBXN

Local, private long-term memory for AI: verbatim, searchable, correctable. No LLM or API key.

Developer ToolsAdded 2 weeks ago

io.github.TVLSS/hirejack-mcp

TVLSS

Tech job market intelligence: jobs, companies, salaries, skill velocity, hiring trends.

Developer ToolsAdded 3 months ago

Add the badge to your site

Show visitors that Arg2P is listed here — it’s also the link we check for a free listing.

Arg2P — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-tuprolog-arg2p?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Arg2P — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Arg2P — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-tuprolog-arg2p?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.