Awesome-Embedded-Learning-Studio

Verify Claim — Development skill for Claude Code

Development community

验证一条 C++ 断言 —— 编译最小例子 + 查 cppreference,给出成立/不成立的实证(金科玉律固化版).

How to install Verify Claim

Installs to ~/.claude/commands/awesome-embedded-learning-studio-tutorial_awesomemoderncpp-verify-claim.md

Terminal

mkdir -p ~/.claude/commands && curl -fsSL https://raw.githubusercontent.com/Awesome-Embedded-Learning-Studio/Tutorial_AwesomeModernCPP/HEAD/.claude/commands/verify-claim.md -o ~/.claude/commands/awesome-embedded-learning-studio-tutorial_awesomemoderncpp-verify-claim.md

Restart Claude Code, or start a new session, for it to be picked up.

What Verify Claim does

description: 验证一条 C++ 断言 —— 编译最小例子 + 查 cppreference,给出成立/不成立的实证(金科玉律固化版) argument-hint: "[必填: 要验证的 C++ 断言]"

/verify-claim — 验证一条 C++ 断言

C++ 语义随标准版本和实现变化,**禁止凭记忆断言**。本命令把这条金科玉律变成可执行流程:对一条断言,**用真实编译输出说话**。

命名说明:叫 `/verify-claim` 而非 `/verify`,是为了避开 Claude Code 内置的 `/verify`(验证代码改动是否生效)。本命令专做"C++ 断言的编译实证"。

输入

`$ARGUMENTS` —— 要验证的断言(如"`std::move` 作用于 `const` 对象会退化为拷贝")。为空则停下问。

流程

写最小复现:用 Write 把最小 .cpp 写到 /tmp/(verify_<主题>.cpp),只覆盖断言涉及的行为,别塞无关代码。
编译(单独一次 B

Alternatives in Development

Epic Claim — Claim an epic issue, stamp coordination state, and sync local ownership 243.5k ★
Mempalace Init — Set up MemPalace — install the package, initialize a palace, register the MCP server with Cursor, and verify e 58.6k ★
JWT Scan — JWT attack toolkit (offline) — alg:none forgery, RS256→HS256 algorithm confusion, weak-secret crack, static cl 4.5k ★