Skip to main content
skillsmp

Menú

specula-org/SysMoBench

SkillsMP ha recopilado 3 skills de specula-org/SysMoBench. Abre una skill para revisar su origen y sus detalles.

Perfil de specula-orgVer en GitHub
Última actividad de origen registrada
Catálogo de SkillsMP actualizado
skills recopiladas
3
Estrellas en GitHub
24
Forks en GitHub
3

Skills en este repositorio

Mostrando 3 de 3 skills recopiladas.

tv-eval

ocupación
Analistas de garantía de calidad de software y probadores
descripción

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

Idioma del texto original: inglés

actualizado

harness-gen

ocupación
Desarrolladores de software
descripción

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

Idioma del texto original: inglés

actualizado

spec-repair

ocupación
Desarrolladores de software
descripción

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…

Idioma del texto original: inglés

actualizado
Mostrando 3 de 3 skills recopiladas.