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.
npx agentmods add commands/awesome-embedded-learning-studio/tutorial_awesomemoderncpp/verify-claimgit clone --depth 1 https://github.com/Awesome-Embedded-Learning-Studio/Tutorial_AwesomeModernCPPWhat 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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00037 | $0.00577 |
| Opus 5 | $0.00018 | $0.00289 |
| Sonnet 5 | $0.00007 | $0.00115 |
| Haiku 4.5 | $0.00004 | $0.00058 |
Grade A, and why
verify-claim scanned grade A with 0 findings 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.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
What it actually says
/verify-claim — 验证一条 C++ 断言
C++ 语义随标准版本和实现变化,禁止凭记忆断言。本命令把这条金科玉律变成可执行流程:对一条断言,用真实编译输出说话。
命名说明:叫
/verify-claim而非/verify,是为了避开 Claude Code 内置的/verify(验证代码改动是否生效)。本命令专做"C++ 断言的编译实证"。
输入
$ARGUMENTS —— 要验证的断言(如"std::move 作用于 const 对象会退化为拷贝")。为空则停下问。
流程
- 写最小复现:用 Write 把最小
.cpp写到/tmp/(verify_<主题>.cpp),只覆盖断言涉及的行为,别塞无关代码。 - 编译(单独一次 Bash):
g++ -std=c++20 -O2 -o /tmp/verify_xxx /tmp/verify_xxx.cpp;要看生成的指令再加一次g++ -std=c++20 -O2 -S -o /tmp/verify_xxx.s /tmp/verify_xxx.cpp。 - 运行(单独一次 Bash):
/tmp/verify_xxx。不要和编译用&&串。 - 查标准(必要时):web search cppreference,标标准版本。
- 记录编译器:
g++ --version。
输出
断言：<原文>
结论：成立 / 不成立 / 部分成立（说清条件）
标准：C++XX | 编译器：GCC XX
最小例子：<code>
真实输出：<粘贴>
依据：cppreference 链接 / 汇编片段（如适用）
硬约束
- 编译产物只到
/tmp/;禁止在项目目录跑 cmake / make / build。 - 编译和运行分两次 Bash,不串
&&。 - 不确定就如实说"无法确定",别编输出。
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.
- 2d ago First seen · 40 lines · 37 tokens per session scan A f71c2123740a
verify-claim is a command published in the GitHub repository Awesome-Embedded-Learning-Studio/Tutorial_AwesomeModernCPP (250 stars, last pushed 3d ago), licensed MIT. It adds 37 tokens to every session and 577 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other commands, from other repositories
review
Command "review" from Awesome-Embedded-Learning-Studio/CFDesktop, covering /review — 代码审查, 触发方式, 审查流程, step 1: 确认审查范围 and step 2: 读取全部代码.
optimize
基于 C++23 和现代 C++ 工程实践，对代码进行逼近零开销的小改动优化。.
implement
Implement a requested change using the repository's modern C++ agent loop.
add-module
Add a documented and tested modern C++ module.
review
Review a change against the repository's rule-driven modern C++ contract.
theme
Design and apply a Visage color theme — preview in browser, edit with prompts, export C++.