本文へ移動
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(原文)

インストールする前に、エージェントに与えられる指示の中身を確認できます。

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.

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

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-skills1,0572026年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-skills1,0572026年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-skills1,0572026年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-skills1,0572026年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-skills1,0572026年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-skills1,0572026年9月24日 更新

zhnnky329 のスキルをすべて見る

このスキルの問題を報告する