跳到正文
cccskills
免费在 GitHub 公开

symbol-table-builder

Build and maintain one global mathematical symbol and unit table from the problem frame and active method cards, resolving cross-subquestion conflicts before code or paper work.

中文简介正在准备中。当前显示原文说明。

查看安装方法

包含的文件(1)

  • SKILL.md1.9 KB

SKILL.md(原文)

安装前可以查看交给 AI 代理的指令内容。

Purpose

Ensure the same concept uses one symbol and different concepts do not collide.

Inputs

  • problem parse and relationships;
  • active methods/Qx/qx_method_card.md;
  • approved code plans when available;
  • question dependency map;
  • existing planning/symbol_table.md.

Read legacy candidate pools only when method cards are absent.

Workflow

  1. Extract inputs, outputs, parameters, decisions, states, indices, sets, functions, and intermediate quantities.
  2. Preserve user-established notation unless it conflicts or is ambiguous.
  3. Resolve:
    • same meaning with different symbols;
    • different meanings with the same symbol;
    • unit/domain conflicts;
    • Qx output-to-input handoff conflicts.
  4. Classify each symbol by role and scope.
  5. Save or update planning/symbol_table.md.
  6. If a canonical symbol changes, classify it CANONICAL and run scoped consistency for affected Qx.

Table Fields

  • symbol;
  • plain name;
  • definition;
  • type: input, output, parameter, estimated parameter, decision, state, intermediate, index, set, function;
  • domain/range;
  • unit;
  • scope/Qx;
  • source artifact;
  • notes or conflict resolution.

Rules

  • Define every symbol before first use.
  • Record units and domains when applicable.
  • Use one notation for cross-question handoffs.
  • Do not invent variables to make a table look complete.
  • Do not maintain a separate verbose conflict log; record material resolutions in the table notes.

Verification

  • Active method-card and code-plan variables are covered.
  • No unresolved symbol or unit collision remains.
  • Shared quantities agree across Qx.
  • Downstream artifacts can cite one canonical table.

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护,适用 Google 的隐私权政策和服务条款。

同一仓库的技能

Detect whether approved modeling code is Python or MATLAB/Beita Tianyuan and route it to the matching reviewer using the compact named-check review contract.

中文简介正在准备中。当前显示原文说明。

zhnnky329/MathModeling-skills10612026年9月24日 更新

Audit whether the semantic evidence required by the active lean or submission profile exists and is current, without requiring one verbose artifact per skill or an arbitrary number of pass bullets.

中文简介正在准备中。当前显示原文说明。

zhnnky329/MathModeling-skills10612026年9月24日 更新

Run scoped or final cross-media consistency checks for mathematical-modeling artifacts, comparing canonical numbers, symbols, parameters, decisions, files, and paper claims without performing full-workspace audits for low-risk changes.

中文简介正在准备中。当前显示原文说明。

zhnnky329/MathModeling-skills10612026年9月24日 更新

Map contest attachments to subquestions, audit and clean raw data, and emit one reusable data profile with quality, coverage, imbalance, concentration, and method-readiness evidence for downstream risk screening.

中文简介正在准备中。当前显示原文说明。

zhnnky329/MathModeling-skills10612026年9月24日 更新

Build one compact choice card at a genuine mathematical-modeling judgment point. Use before method screening, after a meaningful experiment, or before final claim/freeze approval so the human chooses the trade-off while AI handles mechanical consequences.

中文简介正在准备中。当前显示原文说明。

zhnnky329/MathModeling-skills10612026年9月24日 更新

Plan the smallest set of diagnostic, comparison, paper, and appendix figures or tables needed to support verified mathematical-modeling decisions and claims.

中文简介正在准备中。当前显示原文说明。

zhnnky329/MathModeling-skills10612026年9月24日 更新

查看 zhnnky329 的全部技能

报告此技能的问题