verification skills

152 tagged verification, measured the same way as everything else here.

Browse within: codec 97hardware 97harness 97rtl 97quality 39metrics 37quality-assurance 28cli 25ai-skills 23rollback 19truth-scoring 19recursion 18ai-tools 17workflow 16

knowledge-absorber

01

YuJunZhiXue/StudyAnalysis-Skills

Skill Claude CodeCodex

A Chinese-language workflow for deeply analysing links, documents, or code and turning them into teaching notes for beginners through advanced readers. It also checks claims against source material and flags possible hallucinations or outdated information.

not rated 633 +4 7mo ago A 74 tokens

Workspine

02

PatrickSys/workspine

Skill Claude CodeCodex

Disciplined repo-native workflow for AI-assisted development. Spec first, then build, then verify.

not rated 59 yesterday A SkillSpector: warn 24 tokens original MIT

testing-standards

03

anatomia-dev/anatomia

Skill Claude CodeCodex

Invoke when writing tests, reviewing test quality, or setting up test infrastructure. Contains project-specific testing framework conventions, fixture patterns, and coverage expectations.

not rated 32 1mo ago A 34 tokens original MIT

hoavdc/CodexKit

Skill Codex

Conduct structured legal due diligence for M&A, joint ventures, or investment transactions. Cover all 9 workstreams — Corporate, Contracts, IP, Litigation, Regulatory, Employment, Tax, Environmental, and Data Privacy. Produce a risk matrix with deal-breaker flags and closing conditions. Use when evaluating a target or…

not rated 25 5d ago A 76 tokens original MIT

anthony-chaudhary/dos-kernel

Skill Claude CodeCodex

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.

not rated 20 19d ago A SkillSpector: pass 61 tokens original MIT

hermes-loop-master

06

s0heyl/hermes-loop-master

Skill Claude CodeCodex

Use when a Hermes Agent coding task is multi-step, risky, long-running, production-facing, security-sensitive, or likely to span multiple sessions. Enforces a spec-first loop, one-slice implementation, real verification evidence, adversarial diff review, context-budget discipline, and clean handoff before work is…

not rated 18 3mo ago A 69 tokens original MIT

inetgas/arch-compiler

Skill Claude CodeCodex

Use when: about to write code and docs/architecture/ exists with STATUS: APPROVED in architecture.yaml. Not when: no approved architecture yet (use compiling-architecture first), or architecture.yaml lacks STATUS: APPROVED header.

not rated 10 5mo ago A 51 tokens original MIT

ome-spec

08

oh-my-engine/oh-my-engine

Skill Claude CodeCodex

OME-owned spec-driven workflow for Oh My Engine.

not rated 5 1mo ago A 12 tokens original MIT

vanja-emichi/a0_agent_skills

Skill Claude CodeCodex

Drives development with tests. Use when implementing any logic, fixing any bug, or changing any behavior. Use when you need to prove that code works, when a bug report arrives, or when you're about to modify existing functionality.

not rated 5 2mo ago A 50 tokens original MIT

no-vibes

10

Lum1104/no-vibes

Skill Claude CodeCodex

Use when completion depends on an end-to-end outcome across components, environments, or external systems.

not rated 3 2mo ago A 23 tokens original MIT

duyet/kb

Skill Claude CodeCodex

Project-local .cursor/skills/verify-templatebot drives the Vite marketplace over CDP; Feature Map includes 30-per-page D1 browse, browse card coat blend, unlisted /data analytics, PostHog funnel, marquee, pay-to-install, MCP publish, live X embeds, multi-bot collect progress/skip/claim + master-detail publish…

not rated 3 yesterday A 83 tokens

hermes-dispatch

12

AojdevStudio/hermes-satellite

Skill Claude CodeCodex

Dispatch a task to Hermes over the async MCP bridge, optionally run the background watcher, then verify Hermes's result as an independent satellite verifier. Use when dispatching work to Hermes ("send this to Hermes"), running the Hermes work queue, or acting as the satellite verifier of a Hermes result. Reach for it…

not rated 2 18d ago A 85 tokens original MIT

aln-loop-designer

13

fyzycyst/Agentic_Loop_Notation

Skill Claude CodeCodex

Design, audit, repair, and export AI-agent loops using Agentic Loop Notation v0.3. Use for loop design, prose-to-ALN translation, Loop Doctor safety reviews, and exports to Claude Code or Codex — scoped task prompts, Codex goals, skills, hooks, scheduled tasks, automations, and reusable loop examples.

not rated 2 3mo ago A 77 tokens CC-BY-4.0

artifact-verifier

14

Dailyaiagents/daily-ai-agent-toolkit

Skill Claude CodeCodex

Verify that declared deliverable files exist, are non-empty, remain inside an allowed root, and avoid declared placeholder terms.

not rated 0 28d ago A 28 tokens original Apache-2.0

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: