Agent skill

Grace Verification

by osovv in osovv/grace-marketplace

Design and maintain GRACE 4 verification entries, commands, scenarios, markers, and assertion evidence under .grace/verification.

MITAuto-check passed

Install Grace Verification

skills CLI
$ npx skills add osovv/grace-marketplace --skill grace-verification -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install osovv/grace-marketplace grace-verification --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/osovv/grace-marketplace.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/grace/grace-verification .claude/skills/grace-verification && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
grace-verification
GitHub stars
251
Token cost
~669 tokens
SKILL.md length
320 words
Files
2
Skills in repo
10
Repo updated
First seen
Licence
MIT

At a glance

Design and maintain GRACE 4 verification entries, commands, scenarios, markers, and assertion evidence under .grace/verification.

  • Works in 5 steps: Read relevant .grace/graph anchors and… → Identify scenarios, commands, test… → Ensure commands are deterministic and… → …
  • Calls bun

What it does

Grace Verification is an agent skill from osovv/grace-marketplace. Design and maintain GRACE 4 verification entries, commands, scenarios, markers, and assertion evidence under .grace/verification.

Its SKILL.md is about 670 tokens, which your agent loads only when the skill is triggered. The skill folder holds 2 other files (for example `agents/openai.yaml`).

The repository describes itself as: GRACE (Graph-RAG Anchored Code Engineering): open Agent Skills for contract-driven AI code generation with semantic markup, knowledge graphs, and support for Claude Code, Codex… The licence is MIT.

Example prompts

  • “/grace-verification”

Workflow steps

5 steps, taken from the first numbered list in SKILL.md.

  1. Read relevant .grace/graph anchors and current V-M-* entries.
  2. Identify scenarios, commands, test files, required log markers, and trace assertions.
  3. Ensure commands are deterministic and runnable from the project root or documented cwd.
  4. Update or propose .grace/verification changes through the active change plan.
  5. Run the commands and record fresh evidence in the response.

What it can do on your machine

Read from SKILL.md and the folder at commit 70f5ec4. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • bun

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Grace Verification loads about 669 tokens when it runs. Until then it costs about 37 tokens; SKILL.md has 320 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~37
When it runs · the whole SKILL.md, loaded when a task matches
~669

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from osovv/grace-marketplace at commit 70f5ec4, republished under its MIT licence (© osovv). 320 words, ~669 tokens.

Download SKILL.mdSave it as .claude/skills/grace-verification/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.
name
grace-verification
description
Design and maintain GRACE 4 verification entries, commands, scenarios, markers, and assertion evidence under .grace/verification.
<skill>
<purpose>
Strengthen deterministic verification for modules and changes. Verification state lives in `.grace/verification/index.xml` and routed verification documents. Each durable module should have deterministic `V-M-*` coverage unless an explicit exception is planned.
</purpose>
<workflow>
1. Read relevant `.grace/graph` anchors and current `V-M-*` entries.
2. Identify scenarios, commands, test files, required log markers, and trace assertions.
3. Ensure commands are deterministic and runnable from the project root or documented cwd.
4. Update or propose `.grace/verification` changes through the active change plan.
5. Run the commands and record fresh evidence in the response.
</workflow>
<cwd_contract>
When verification commands run from a workspace or package directory, add one direct `<Cwd>relative/project/path</Cwd>` child to the owning `V-M-*` entry. Keep declared `<TestFiles><File>...</File></TestFiles>` paths project-root-relative; the CLI uses `Cwd` only to compare them with cwd-relative command arguments.
</cwd_contract>
<evidence_contract>
Use `<Marker>` when module health must prove a runtime log or trace emission from linked implementation code. Use `<TraceAssertion>` for deterministic test or trace evidence that does not require runtime logging, such as pure functions, type-level modules, and core libraries. A non-empty marker or trace assertion satisfies the module-health evidence requirement; only authored markers require matching runtime emission and `BLOCK_*` evidence.
</evidence_contract>
<gate_task_contract>
Reference named project tasks in `MustPassCommand` and `ExpectedCommand` (for example `bun run gate:e2e`) instead of inline `;`-chains. Decompose full gates into granular named tasks (`gate:test`, `gate:typecheck`, `gate:build`, `gate:e2e`) so a selective re-run is just running that task, timeouts map to one coherent unit, and `grace lint --run-commands` reports each gate step with its own timing and log.
</gate_task_contract>
<flake_contract>
A flaky gate is a defect of the verification entry, not a reason to re-run blindly. Diagnose from the per-attempt logs under `~/.cache/grace/run-commands/`. Fix it by decomposing the gate task, adding runner-level retries inside the task itself (for example playwright `--retries`), or quarantining the unstable scenario. Silent manual re-runs are not a fix: grace records every run honestly, and nondeterministic verification undermines assertion evidence.
</flake_contract>
</skill>

© osovv, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 1 other file in skills/grace/grace-verification of osovv/grace-marketplace.

  • SKILL.md
  • agents/openai.yaml

Open the folder on GitHubat commit 70f5ec4

Compare with similar skills

Grace Verification next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Grace Verification compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Grace Verification this skillosovv/grace-marketplace251—~669Automated safety check: PassMIT
Wiki Maintaineropenclaw/openclaw392k1 repos~462Automated safety check: PassMIT
Obsidian Vault Maintaineropenclaw/openclaw392k1 repos~262Automated safety check: PassMIT
Openclaw PR Maintaineropenclaw/openclaw392k—~2.2kAutomated safety check: PassMIT
Open Source Maintainer Assistantslopus/happy24k—~1.9kAutomated safety check: PassMIT
Changelog Entrysickn33/agentic-awesome-skills47k1 repos~1.1kAutomated safety check: PassMIT

Similar skills

  • Wiki Maintainer

    openclaw/openclaw

    Maintain the OpenClaw memory wiki vault with deterministic pages, managed blocks, and source-backed updates.

    392k GitHub starsUsed in 1 repo~462 tokens
    Knowledge ManagementAuto-check passed
  • Obsidian Vault Maintainer

    openclaw/openclaw

    Maintain an Obsidian-friendly memory wiki vault with wikilinks, frontmatter, and official Obsidian CLI awareness.

    392k GitHub starsUsed in 1 repo~262 tokens
    Knowledge ManagementAuto-check passed
  • Openclaw PR Maintainer

    openclaw/openclaw

    Review, triage, repair, or land OpenClaw issues and pull requests with current-source evidence and the native maintainer workflow.

    392k GitHub stars~2.2k tokensUpdated today
    DevelopmentAuto-check passed
  • Helps maintain the slopus/happy open source project by triaging issues, drafting closing comments, finding duplicates and checking fixes, with approval before anything is posted.

    24k GitHub stars~1.9k tokensUpdated today
    DevelopmentAuto-check passed
  • Changelog Entry

    sickn33/agentic-awesome-skills

    Generate a properly formatted CHANGELOG.md entry in Keep a Changelog format from a commit range or PR.

    47k GitHub starsUsed in 1 repo~1.1k tokens
    DevelopmentAuto-check passed
  • Graceful Shutdown

    sickn33/agentic-awesome-skills

    Implement graceful shutdown for servers and workers: drain connections, finish in-flight work, release resources, and exit cleanly on SIGTERM/SIGINT.

    47k GitHub starsUsed in 1 repo~3.5k tokens
    DevOps & CloudAuto-check passed

More from osovv/grace-marketplace

All 10 skills in this repo
  • Grace Migrate

    osovv/grace-marketplace

    Agent-applied GRACE 3 to GRACE 4 migration workflow. An agent skill from osovv/grace-marketplace.

    251 GitHub stars~706 tokensUpdated 15 days ago
    Auto-check passed
  • Grace Plan

    osovv/grace-marketplace

    Read an approved GRACE 4 GraceChangeSpec and optional design context, then create a GraceChangePlan with assertions, scopes, tasks, and verification gates.

    251 GitHub stars~977 tokensUpdated 15 days ago
    Auto-check passed
  • Grace Spec

    osovv/grace-marketplace

    Interview the user and create an approved GRACE 4 GraceChangeSpec plus optional design-context.xml inside .grace/changes/active/C-/.

    251 GitHub stars~545 tokensUpdated 15 days ago
    Auto-check passed
  • Grace Init

    osovv/grace-marketplace

    Bootstrap a Full GRACE 4 project by creating the canonical .grace context, graph, verification, and changes skeleton.

    251 GitHub stars~745 tokensUpdated 15 days ago
    Auto-check passed
  • Grace CLI

    osovv/grace-marketplace

    Operate the GRACE 4 CLI for .grace linting, status, module navigation, verification navigation, and file-local semantic markup.

    251 GitHub stars~1k tokensUpdated 15 days ago
    Auto-check passed
  • Grace Execute

    osovv/grace-marketplace

    Execute an approved GRACE 4 GraceChangePlan in sequential or parallel-safe mode with recovery-aware preflight and centralized durable apply.

    251 GitHub stars~838 tokensUpdated 15 days ago
    Auto-check passed

Questions about Grace Verification

What does Grace Verification do?

Design and maintain GRACE 4 verification entries, commands, scenarios, markers, and assertion evidence under .grace/verification. Grace Verification is an agent skill from osovv/grace-marketplace.grace/verification.

How do I install Grace Verification in Claude Code?

Run `npx skills add osovv/grace-marketplace --skill grace-verification -a claude-code`. Or copy the skill folder (skills/grace/grace-verification in osovv/grace-marketplace) into .claude/skills/grace-verification in your project. Claude Code loads it when a task matches its description.

How do I install Grace Verification in Codex?

Run `npx skills add osovv/grace-marketplace --skill grace-verification -a codex`. Or copy the skill folder (skills/grace/grace-verification in osovv/grace-marketplace) into .agents/skills/grace-verification in your project. Codex loads it when a task matches its description.

Can I use Grace Verification in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add osovv/grace-marketplace --skill grace-verification -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/grace-verification, .gemini/skills/grace-verification, .github/skills/grace-verification and .opencode/skills/grace-verification in your project.

What does Grace Verification need to run?

Going by SKILL.md and its folder, Grace Verification needs the command-line tools its instructions call (bun).

Does Grace Verification access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Grace Verification safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Grace Verification use?

Grace Verification is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Grace Verification use?

About 669 tokens (SKILL.md is roughly 2.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Grace Verification?

Skills that share tags, products or a category with Grace Verification: Wiki Maintainer (openclaw/openclaw, 392k stars), Obsidian Vault Maintainer (openclaw/openclaw, 392k stars), Openclaw PR Maintainer (openclaw/openclaw, 392k stars) and Open Source Maintainer Assistant (slopus/happy, 24k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Grace Verification?

osovv (a GitHub user) maintains it in osovv/grace-marketplace, which has 251 GitHub stars. The repository holds 10 skills in this directory. The repository was last updated on September 24, 2026.

Source: osovv/grace-marketplace on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.