specula-org/SysMoBench

SkillsMP は specula-org/SysMoBench から 3 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

specula-org のプロフィール GitHub で見る

記録された最新のソース活動: 2026年5月3日 13:10

SkillsMP カタログ更新: 2026年8月30日 18:55

収集済み skills: 3

GitHub スター: 24
GitHub フォーク: 3

このリポジトリの skills

ソフトウェア開発者ソフトウェア品質保証アナリスト・テスター

2 件の職業カテゴリ · 100% 分類済み

skill

職業分類

説明

更新

tv-eval

ソフトウェア品質保証アナリスト・テスター

Transition validation (TV) for TLA+ specs. Use when: scoring how faithfully an AI-generated spec models a real system, producing per-action pass rates with defensible explanations. The agent acts as the examiner (考官) — writes instrumentation, runs harness,…

原文の言語: 英語

2026-05-03

harness-gen

ソフトウェア開発者

Trace harness generation for SysMoBench. Use when bootstrapping a new task: clone the system into artifacts/<task>/, instrument it to emit NDJSON traces at the task-required granularity, write a run.sh, and produce INSTRUMENTATION.md. One-time work per task;…

原文の言語: 英語

2026-05-03

spec-repair

ソフトウェア開発者

Bounded repair of TLA+ specs that fail P1 (SANY) or P2 (TLC from Init). Use when a model-generated spec needs to pass P1/P2 so downstream P3 (TV) and P4 (invariant) can score it. Enforces a strict allow-list of mechanical fixes and MUST NOT alter the model's…

原文の言語: 英語

2026-05-02

収集済み skill 3 件中 3 件を表示しています。