borda/ai-rig · plugins/cc_research/skills/verify/SKILL.md

verify skillA

Name: verify
Author: borda

verify is agent-read markdown (skill) from borda/ai-rig: Paper-vs-code consistency audit. After research:scientist implements a method from a paper, verify the implementation matches paper claims across five dimensions — formula matching [F], hyperparameter parity [H], eval protocol [E], notation consistency [N], and citation chain [C]. Reads paper (PDF path / arXiv URL / pasted text), maps claims to codebase, emits verification table with match status and severity..

Indexed from public GitHub and served as immutable, content-addressed versions. Install it pinned to an exact SHA-256 with the mdr CLI, and every file is verified against the hash recorded here before it reaches your agent. The deterministic audit below grades the latest version, and the same file always earns the same grade.

How to install

Latest version

mdr add borda/ai-rig/verify@git:20260822.a5f4fd6

Exact content

mdr add borda/ai-rig/verify@sha256:cdc07a776c4cd9dc

Pin to a label to follow the author's releases, or to a sha256 to freeze the exact bytes forever. Either way the resolved hash is written to mdr.lock, and mdr install reproduces it on any machine.

Badge

[![mdr](https://markdownregistry.com/badge/art_7yc76oo2dlrvlbzk.svg)](https://markdownregistry.com/a/art_7yc76oo2dlrvlbzk)

0 badge views in 30 days

Versions

version	committed	commit	size	audit
git:20260822.a5f4fd6 latest	2026-08-22	a5f4fd6	24,896 B	A	view · diff
git:20260821.d979319	2026-08-21	d979319	23,923 B	A	view · diff
git:20260808.5143e56	2026-08-08	5143e56	23,952 B	A	view · diff
git:20260808.a8a70fe	2026-08-08	a8a70fe	23,922 B	A	view · diff
git:20260808.c2ee897	2026-08-08	c2ee897	23,636 B	A	view

Audit of the latest version

A 17 of 17 checks passed. Deterministic, no model, same answer every run.

pass: Frontmatter block present
pass: Frontmatter declares a name
pass: Frontmatter declares a description
pass: Size between 200 bytes and 200 KB (24896 bytes)
pass: No zero-width or bidi control characters
pass: No instruction hidden inside an HTML comment
pass: No link to an exfiltration or paste host
pass: No credential-shaped string
pass: No instruction to send local credentials anywhere
pass: No text hidden with inline styles
pass: No prompt-injection phrasing
pass: No curl or wget piped into a shell
pass: No recursive delete of root, home or parent
pass: No instruction to read or print local credentials
pass: No base64 blob over 200 characters
pass: No link to a raw IP address
pass: No script tag

Source

GitHub

borda/ai-rig · 26 stars · license Apache-2.0 · pushed 2026-09-05 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_7yc76oo2dlrvlbzk
GET https://markdownregistry.com/api/v1/resolve?ref=borda/ai-rig/verify
GET https://markdownregistry.com/api/v1/blob/cdc07a776c4cd9dcdac75f1a9957af9f6d2206f5656ef83a4c77f9ac0777a462