Verify Claim banner
Awesome-Embedded-Learning-Studio Awesome-Embedded-Learning-Studio

Verify Claim

Development community

Description

--- description: 验证一条 C++ 断言 —— 编译最小例子 + 查 cppreference,给出成立/不成立的实证(金科玉律固化版) argument-hint: "[必填: 要验证的 C++ 断言]" --- # /verify-claim — 验证一条 C++ 断言 C++ 语义随标准版本和实现变化,**禁止凭记忆断言**。本命令把这条金科玉律变成可执行流程:对一条断言,**用真实编译输出说话**。 > 命名说明:叫 `/verify-claim` 而非 `/verify`,是为了避开 Claude Code 内置的 `/verify`(验证代码改动是否生效)。本命令专做"C++ 断言的编译实证"。 ## 输入 `$ARGUMENTS` —— 要验证的断言(如"`std::move` 作用于 `const` 对象会退化为拷贝")。为空则停下问。 ## 流程 1. **写最小复现**:用 Write 把最小 `.cpp` 写到 `/tmp/`(`verify_<主题>.cpp`),只覆盖断言涉及的行为,别塞无关代码。 2. **编译**(单独一次 B

Installation

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.

Full documentation available on GitHub

View Source Repository