校验-名实(check-name-real)
SkillDocs & knowledge名实校验 / 校验-名实 / name_checker / 以名举实 / 要求的符号必须已声明。用户提到这些词时使用本技能。 场景:对照:name_checker 以名举实(符号表→协议实体)。 【不适用】Not for 以下场景:条件不满足即不适用(负路由:输入不满足生效条件时返回 None/不执行)
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the 校验-名实(check-name-real) skill
What this skill tells your AI
The instructions your AI receives, as published by furongjun-1999/dsh-memory in skills/skills/lingshu-compiler/units/check-name-real/SKILL.md and read by ahel’s review.
When to use
任务「名实校验」;对照:name_checker 以名举实(符号表→协议实体)。
克制条款(不适用条件)
条件不满足即不适用(负路由:输入不满足生效条件时返回 None/不执行)
How to execute
以名举实:要求的符号必须已声明(墨辩静态检查)
Verification
- 单元样例 3 条(cases 断言)
- 物理基底:按 calibration 对照(编译/运行/断言裁决)
References
- 单元库:compiler_code_units.py「校验-名实」
Signals
- GitHub stars
- 164
- Forks
- 11
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
check-name-real- Source
- github.com/furongjun-1999/dsh-memory