菜单
Define testable claims about your project, run them, and crystallize results into a seed. Use when you need to verify that theory matches implementation, track what passes and what breaks, and identify where potential is blocked.
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/GrazianoGuiducci/d-nd-seed --skill assertion-verifier命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
基于 SOC 职业分类
| name | assertion-verifier |
| description | Define testable claims about your project, run them, and crystallize results into a seed. Use when you need to verify that theory matches implementation, track what passes and what breaks, and identify where potential is blocked. |
Register testable assertions about your project. Each assertion has an ID, a claim, and a test function. The verifier runs them all and produces a structured report: PASS / FAIL / SKIP.
Each assertion is a dict:
{
"id": "AUTH_01",
"claim": "Login endpoint returns 200 for valid credentials",
"test": lambda: check_login_endpoint(), # -> (bool, detail_string)
"source": "API spec v2.1",
"group": "auth" # optional grouping
}
The test function must return (passed: bool, detail: str). If it raises an exception, the assertion is marked SKIP.
The assertion verifier feeds directly into seed_cycle.py:
from seed_cycle import ASSERTIONS, run_cycle
ASSERTIONS.extend([
{"id": "DB_01", "claim": "Migration is up to date", "test": check_migration},
{"id": "API_01", "claim": "Health endpoint responds", "test": check_health},
])
run_cycle(update=True) # runs assertions, crystallizes into seed
| Status | Meaning | Seed Effect |
|---|---|---|
| PASS | Claim confirmed by data | If ALL pass: "suspicious symmetry" tension |
| FAIL | Claim contradicted by data | High-priority "contradiction" tension |
| SKIP | Test can't run (missing prerequisite) | "Blocked potential" entry |
Nightly verification:
python -c "
from seed_cycle import ASSERTIONS, verify_assertions, crystallize_seed, load_seed
# ... register assertions ...
results = verify_assertions()
crystallize_seed(results, load_seed())
"
Interactive check:
> verify my assertions
The coder runs all registered assertions and reports results.
Add tests that CAN fail. If everything always passes, you're testing tautologies. The value is in the FAIL and SKIP results — they show where the system's real edges are.
$ARGUMENTS