verify

A verification procedure for CrowTelemetry, a Swift package that receives application measurements and logs over HTTP and stores them in SQLite, a local file database. It uses a temporary test program, sends sample data, and checks the stored results.

In plain words
What is it for?
Use it after changing CrowTelemetry to build and run the test program, send OTLP JSON requests with curl, and inspect the SQLite database.
Why use it?
It verifies the real receiver and database together instead of testing isolated pieces. This helps catch problems with network requests, data formats, and storage.

Skill for Claude CodeCodex

Install

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.

agentmods
npx agentmods add skills/corveil/crow/verify
Any agent
npx skills add corveil/crow --skill verify
Clone the repo
git clone --depth 1 https://github.com/corveil/crow

Made for: Claude Code, Codex.

Per session 30 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 854 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 1 finding. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

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.

ModelPer sessionOnce invoked
Fable 5 $0.00030 $0.00854
Opus 5 $0.00015 $0.00427
Sonnet 5 $0.00006 $0.00171
Haiku 4.5 $0.00003 $0.00085

Measured 2d ago against content hash 83a5ba7d9949, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

verify scanned grade A with 1 finding 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 2d 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.

Makes network callslowCapability

Not a fault in itself. Listed so you know the mod talks to something, and to what.

description: Drive CrowTelemetry's OTLP ingest end-to-end — boot the real receiver, POST OTLP JSON with curl, inspect the SQLite db.
Packages/CrowTelemetry/.claude/skills/verify/SKILL.md · 72 lines

What it actually says

Verifying CrowTelemetry changes

The package's runtime surface is TelemetryService (OTLPReceiver HTTP listener on localhost + TelemetryDatabase SQLite file). There is no standalone binary — build a throwaway harness executable that depends on this package and boots the service:

// Sources/otlp-harness/main.swift — usage: otlp-harness <port> <data-dir>
import Foundation
import CrowTelemetry
let service = try TelemetryService(port: UInt16(CommandLine.arguments[1])!,
                                   dataDirectory: CommandLine.arguments[2]) { id in
    print("[harness] data received for session \(id)")
}
Task { try await service.start() }
dispatchMain()

Harness Package.swift: swift-tools-version 6.0, platforms: [.macOS(.v14)], .package(path: "<repo>/Packages/CrowTelemetry"). Build with swift build, run in the background, then drive it.

Gotchas:

  • Ingest is OTLP HTTP/JSON only (OTEL_EXPORTER_OTLP_PROTOCOL=http/json), paths /v1/metrics and /v1/logs, POST only. One request per connection (the receiver closes it after responding). Content-Length and Transfer-Encoding: chunked both work; a compressed body or a non-JSON Content-Type is rejected by name.

  • Content-Type: application/json is required on POST — the receiver fails closed. Pass it explicitly with curl, which otherwise sends application/x-www-form-urlencoded for -d and gets a 400:

    curl -X POST http://localhost:<port>/v1/logs \
         -H 'Content-Type: application/json' --data-binary @payload.json
    
  • The resource must carry crow.session.id (a UUID string) in resource.attributes, or the payload is silently skipped.

  • Datapoint values: asDouble (number) or asInt (string or number).

  • Sum metrics take aggregationTemporality (1=delta, 2=cumulative, or the AGGREGATION_TEMPORALITY_* name) and isMonotonic; cumulative sums are normalized to deltas at insert.

  • Decoding is deliberately tolerant (#823): scalars are accepted in either their number or string form, and a malformed record is skipped with a skipped malformed N logRecords log line rather than failing the export.

  • Event names arrive bare in the event.name attribute (user_prompt); they are qualified to claude_code.user_prompt at ingest, which is the form countEvents and turnAnalytics match on.

  • Decode failures log the DecodingError coding path, which names the offending field. Set CROW_TELEMETRY_LOG_RAW_BODIES=1 to also log a truncated raw body — off by default because bodies carry account IDs and emails. Repeat failures are throttled to one report per minute per path.

Minimal payload:

{"resourceMetrics":[{"resource":{"attributes":[{"key":"crow.session.id","value":{"stringValue":"<UUID>"}}]},
 "scopeMetrics":[{"metrics":[{"name":"claude_code.cost.usage",
   "sum":{"aggregationTemporality":2,"isMonotonic":true,"dataPoints":[{"asDouble":1.0}]}}]}]}]}

Observe results with the sqlite3 CLI against <data-dir>/telemetry.db: SELECT metric_name, value, attributes_json FROM metrics ORDER BY id and compare SUM(value) per metric to the expected total. Events land in the events table via /v1/logs.

Changes

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.

  1. 2d ago First seen · 72 lines · 30 tokens per session scan A 83a5ba7d9949

Subscribe to this mod's changes

verify is a skill published in the GitHub repository corveil/crow (18 stars, last pushed 2d ago), licensed Apache-2.0. It adds 30 tokens to every session and 854 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 1 finding (makes network calls). No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other skills, from other repositories

demo-video

CommandMate の 30 秒デモ動画(日本語版・英語版)を隔離環境で全自動生成する。絵コンテ駆動のシーン録画・テロップ焼き込み・ffmpeg 合成・尺検証まで。「デモ動画」「demo video」「デモを録画」等の指示で使う。.

Kewton/CommandMate · 84 tokens

build-and-verify

Build, test, and end-to-end verify the Multiplex visionOS/iPadOS SSH-tmux terminal app. Use this whenever you need to compile the app, run its unit tests, regenerate the Xcode project after editing project.yml or adding/ removing source files, or confirm a change works in the real app on the visionOS or iPad…

multiplex-term/Multiplex · 176 tokens

qa-test

CodexBar live QA/e2e testing: run provider usage matrix checks, validate real app config, use Peekaboo for menu proof, use Browser Use/official docs for API spec or logged-in dashboard checks, and handle 1Password credentials safely.

steipete/CodexBar · 55 tokens

gui-integration-test

GUI desktop app only. Writes, runs, and debugs Warp integration tests using the custom Builder/TestStep framework in crates/integration. Use when adding a new integration test, fixing a failing integration test, wiring a test into the manual runner or nextest suite, or verifying end-to-end UI and terminal behavior in…

warpdotdev/warp · 72 tokens

gui-onboarding-verification-skill

GUI desktop app only. Launch two parallel Oz cloud agents with computer use to download and install the latest stable Linux Warp build, capture screenshots while walking through first-time onboarding in both logged-out and logged-in states, then selectively fan out follow-up cloud agents for distinct onboarding…

warpdotdev/warp · 98 tokens

gui-integration-test-video

GUI desktop app only. Run and author Warp Rust integration tests (the crates/integration harness) that capture screenshots and video via TestStep::withstartrecording() / withtakescreenshot(), including mouse and keyboard event overlays. TRIGGER only for the integration-test recording pipeline: recording or…

warpdotdev/warp · 132 tokens