discernment-nudge
claudeAppends 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
Structured argumentation with Arg2P: formalize problems as theories, solve them, and explore the results in its solver.
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.
arg2p-exploreShow 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-formalizeFormalize 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-solveSolve 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.
arg2pruns: uvx [email protected] mcp
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
DeepSeek model harness with focused agents, commands, and skills for swarm-backed reasoning workflows
2 skills · 1 command · 1 agent
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
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
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
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
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.