校验-名实(check-name-real)

SkillDocs & knowledge

名实校验 / 校验-名实 / name_checker / 以名举实 / 要求的符号必须已声明。用户提到这些词时使用本技能。 场景:对照:name_checker 以名举实(符号表→协议实体)。 【不适用】Not for 以下场景:条件不满足即不适用(负路由:输入不满足生效条件时返回 None/不执行)

Available today. Use it from your connected AI after setup.

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