Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add skills/anthony-chaudhary/dos-kernel/issue-verifynpx skills add anthony-chaudhary/dos-kernel --skill issue-verifygit clone --depth 1 https://github.com/anthony-chaudhary/dos-kernelWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/anthony-chaudhary/dos-kernel/issue-verify)<a href="https://agentmods.dev/skills/anthony-chaudhary/dos-kernel/issue-verify"><img src="https://agentmods.dev/badge/skills/anthony-chaudhary/dos-kernel/issue-verify.svg" alt="Measured on agentmods" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00069 | $0.02072 |
| Opus 5 | $0.00034 | $0.01036 |
| Sonnet 5 | $0.00014 | $0.00414 |
| Haiku 4.5 | $0.00007 | $0.00207 |
Grade A, and why
issue-verify scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 5d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 157 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Issue-verify — close issues from evidence, not narration
An issue is a CLAIM; closing it is BELIEVING the claim. The kernel's one rule, aimed at the tracker: never set a belief bit from what anyone says — set it from a read-back the claimant didn't author. This skill is the
dos-witness-claimpattern pointed at GitHub issues: extract the checkable effects, witness each on the right rung, stamp the fold with the kernel's admission verdict, and only then actuate the close. Worked example: #1 — two env-authored witnesses (a green Actions run conclusion + the TestPyPI registry's own JSON), one non-recurrence triage, onedos reward … → ACCEPT, one evidenced close.
Layering. Dev tooling that operates ON the repo (the /release tier) — it
names a vendor (gh/GitHub), so it lives in .claude/skills/, never
src/dos/skills/ (a shipped SKP skill names no vendor or host). If the
screenplay proves out, the promotion path is the usual lift: parameterize the
tracker, move the shape into the SKP.
Public-repo note. Every comment this skill posts is a public document — no dev-machine paths, hostnames, or private-process prose (the route-privacy-at-authoring-time rule applies to issue comments too).
The disciplines (the JUDGE-rung hedges, applied to triage):
- Deterministic-first — a witness is a command output or a registry read-back, never your impression of the thread.
- Fail-to-abstain — a witness you cannot gather (command errors, endpoint
down, no witness exists for the claim) is
none, NEVERconfirm. No close without a confirming witness. - Forgeable ⇒ structurally ignored — a "fixed!" comment, a commit
subject, a
> **Status:**line are claimant-authored bytes: they may select which witness to gather, never BE the witness. If the best you have is forgeable, pass--forgeabletodos rewardand watch it ABSTAIN — that is the structure working, not a gap. - Advisory until the one actuation — read-only throughout; the single mutation is the close + its evidence comment. Never edit an issue body, never delete, never close on a REJECT or ABSTAIN fold.
When NOT to use the manual close at all: if the resolving fix is a commit
you are about to land in this repo, put Fixes #N in the commit body and let
the merge close the issue — the tracker then records the closing commit as the
witness (the repo's issues-workflow convention). This skill's manual close is
for the other three cases: a fix that already landed without the reference, a
fix that lives outside this repo's git (an external service's config — the
#1 case), or an issue dissolved by an environment change.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 5d ago First seen · 157 lines · 69 tokens per session scan A a4765b209247
issue-verify is a skill published in the GitHub repository anthony-chaudhary/dos-kernel (19 stars, last pushed 11d ago), licensed MIT. It adds 69 tokens to every session and 2,072 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other skills, from other repositories
takt
TAKT ワークフローエンジン。Agent Team を使ったマルチエージェントオーケストレーション。ワークフロー YAML(steps / initialstep)に従ってマルチエージェントを実行する。.
takt
TAKT ワークフローエンジン。codex exec でサブエージェントを起動し、ワークフロー YAML(steps / initialstep)に従って マルチエージェントオーケストレーションを実行する。.
company-product-context
Compiles comprehensive company product context from PDF documents, web research, and industry knowledge.
codebase-context-extractor
This skill provides a comprehensive context extraction system for large codebases. It intelligently analyzes code structure, dependencies, and relationships to extract relevant context for understanding, debugging, or modifying code.
skill-creator
Generates Anthropic Skills with complete workflow including GitHub PR creation and local download verification.
Research Synthesis Workflow
A step-by-step guide to synthesizing research from multiple sources into a coherent summary.