arg2p
claudecodexStructured argumentation with Arg2P: formalize problems as theories, solve them, and explore the results in its solver.
3 skills · 1 MCP server
16
Plugin marketplace
arg2p
The plugins of Arg2P, structured argumentation in Prolog
Add this marketplace
Then install any plugin below by name — each page has its exact command.
README badge
Shows how many plugins this repo ships, and links here.
claude & codex pluginslisted