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
anthropics/skills 193,780
claude
guided-formal-reasoning
Evidence-gated reasoning for coding agents: proof obligations, typed inquiry intents, and epistemic reports over a zero-dependency Datalog engine.
/
Plugin guided-formal-reasoning from marketplace rofl in Disentinel/rofl. Commands read from the repo's manifest — 2 days ago.
What it installs
Skills (3)
forecast-engine-changeMake the Rust engine faster or smaller by forecasting the change in a ROFL model of what the engine does, before building it, and letting a measurement judge. Use for any engine iteration on time or memory (witnesses, indexes, partial solutions, load), and before proposing a data-structure change in
refine-planPlan the join orders of a ROFL world from its own profile and judge the plan by measurement (ask, reflect, refine, ask). Use when a rule is slow, `hot:` names it on stderr, a world's evaluation grew with its size more than its answers did, or before shipping a model whose rules join three or more re
guided-formal-reasoningTurn a hard question into a verifiable answer with an audit trail. Use when the user asks "are we ready to launch/ship/merge?", "is X actually true?", "why is this failing / what's the root cause?", "which option should we pick?", or any decision, verification, incident, or research question that de
Similar plugins
ruflo-deepseek-harness
claudeDeepSeek model harness with focused agents, commands, and skills for swarm-backed reasoning workflows
2 skills · 1 command · 1 agent
ruvnet/ruflo 81,589
commit-craft
claudeTurn 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
ag-ui-dotnet
claudeSkills 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
Agent-Native Research Artifact (ARA) tooling: compile any research input (paper, repo, notes) into a structured artifact, record session provenance as a post-task epilogue, and run Seal Level 2 epistemic review. Use when ingesting research into a falsifiable, agent-traversable artifact, capturing how a research project actually evolved, or auditing an ARA for evidence-claim alignment.
98 skills
Orchestra-Research/AI-Research-SKILLs 14,502
recruit
claudeUse 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 guided-formal-reasoning?
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