Skip to main content
skillsmp

菜单

specula-org/SysMoBench

SkillsMP 已收集 specula-org/SysMoBench 中的 3 个 Skill。打开任一 Skill 可查看来源和详情。

specula-org 资料在 GitHub 查看
最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
3
GitHub 星标
24
GitHub Forks
3

这个仓库中的 skills

已展示 3 / 3 个已收集 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,…

原文语言：英语

更新

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;…

原文语言：英语

更新

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…

原文语言：英语

更新
已展示 3 / 3 个已收集 Skill。