SkillTrust

← All skills

dos-verify-done-claims

82 / 100 · Low risk

Fine to try. Some of what it can do is expected: a coding skill usually runs build and test commands.

By anthony-chaudhary/dos-kernel (GitHub) · coding · 22 stars · scanned at commit ecf0c11

Before accepting an agent's 'done / shipped / fixed' claim, verify it against ground truth (git ancestry + the commit's own diff) using the DOS kernel's `dos verify` and `dos commit-audit` — never the agent's own narration.

Works with any agent that supports SKILL.md skills.

What this skill can do

Downloads and installs other software

The author does not mention this. It runs automatically when the plugin is installed.

Found in 4 places.

Show 1 more
  • gemini-extension.json, line 4"description": "The kernel that doesn't believe the agents. Exposes the DOS trust syscalls as MCP tools — verify what actually shipped (git ancestry, not self-r

Runs commands on your computer

This is disclosed by the author in the skill's SKILL.md or README. It runs automatically when the plugin is installed. Expected for a coding skill.

Found in 6 places.

Show 3 more

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'dos-verify-done-claims' ] || [ -L ~/.agents/skills/'dos-verify-done-claims' ]; then echo 'A skill folder named dos-verify-done-claims already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/anthony-chaudhary/dos-kernel' "$d" && git -C "$d" checkout --quiet 'ecf0c119006a4c1d0245e53f542f9aa32142a725' -- 'listings/antigravity-skill' && mkdir -p ~/.agents/skills && cp -R "$d"/'listings/antigravity-skill' ~/.agents/skills/'dos-verify-done-claims' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'dos-verify-done-claims' ~/.claude/skills/'dos-verify-done-claims' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for anthony-chaudhary/dos-kernel shows the score of its lowest-scoring skill.

SkillTrust badge for anthony-chaudhary/dos-kernel

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/anthony-chaudhary/dos-kernel.svg)](https://zalavijaysinh.github.io/skilltrust/repos/anthony-chaudhary/dos-kernel/)

Score history

DateVersionScore
2026-11-08ecf0c1182
2026-11-06ecf0c1182