claudecodex

arg2p

Structured argumentation with Arg2P: formalize problems as theories, solve them, and explore the results in its solver.

16 on GitHubby tuPrologv0.26.3MITupdated yesterdayreasoning
/

Plugin arg2p from marketplace arg2p in tuProlog/arg2p-kt. Commands read from the repo's manifest — yesterday.

This plugin runs code on your machine — it starts local MCP servers. The exact commands are listed below; read them before installing.

What it installs

Skills (3)

  • arg2p-explore

    Show the user the Arg2P solver of a theory, to explore its results themselves (solutions, argument graphs, stages, flags), when they want to see, browse, visualize or play with them.

  • arg2p-formalize

    Formalize a reasoning problem with conflicting information, exceptions, norms, preferences or burdens of proof as an Arg2P argumentation theory, before solving it with arg2p-solve.

  • arg2p-solve

    Solve an Arg2P argumentation theory with the Arg2P solver and report what is accepted, rejected or undecided. Use whenever argumentation results are needed; never simulate the semantics by hand.

MCP servers (1)

View source on GitHub tuprolog.github.io

Similar plugins

Appends two or three short follow-up questions after a substantive answer to help users check key facts, probe the reasoning, and notice missing context

19 skills

anthropics/skills 193,780

DeepSeek model harness with focused agents, commands, and skills for swarm-backed reasoning workflows

2 skills · 1 command · 1 agent

ruvnet/ruflo 81,589

Turn a tangled working tree into a clean, reviewable commit series. Three deterministic stdlib scripts over git: a series planner that groups changes into commits in build-safe order (manifest with lockfile, pure moves, formatting, each module's change with its tests, docs, CI), holds back .env and key files, and flags mixed formatting and moves whose callers would break; a secret gate that scans staged or pushed lines for provider tokens, high-entropy secrets, sensitive files and conflict markers and blocks before the commit exists, with redacted output and reasoned waivers; and a message linter that blocks vague subjects, missing why on large changes and pending fixup commits, matching the repo's own convention. Ships pre-commit, commit-msg and pre-push hooks, cs-commit-craft agent, /cs-commit-craft and /cs-commit-check commands and 3 cited references.

1 skill · 2 commands · 1 agent

alirezarezvani/claude-skills 29,725

Skills for building apps with the AG-UI .NET SDK: streaming chat (stateless vs hosted agents), server tools, client tools, human-in-the-loop (approvals & interrupts), shared state, multimodal messages, reasoning traces, protobuf transport, and troubleshooting.

9 skills

ag-ui-protocol/ag-ui 17,158

Sets up the clinic, onboards students, runs structured intake, tracks deadlines with malpractice-aware caution, and hands off cases at semester end — built within ABA Formal Op. 512.

16 skills · 5 MCP servers

anthropics/claude-for-legal 9,991

recruit

claude

Use when the user wants candidates for a role; they paste a LinkedIn job post (or a job description) and want the people who fit it, ranked, with a reason for each and a personal email and phone to reach them. Also for "source candidates", "find people for this job", "build a shortlist", or turning a job post into a contactable candidate list.

1 skill

superdesigndev/treg 7,890

Maintain arg2p?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted