specula-org/sysmobench/spec-repair

Name: spec-repair
Author: specula-org

Claude Code and agent skill by specula-org/sysmobench

Trust tier 3

community

Source check pending

Checking that the SKILL.md file is still in the repository.

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 semantic intent (actions, guards, variable set). Every edit must carry a written justification.

Install

npx vskill@latest install specula-org/sysmobench/spec-repair

SKILL.md

The same SKILL.md was published earlier as makhana/sysmobench-research/spec-repair.

Read guide.md for the full repair procedure.

Security

Security scanPassed, 90 of 100Pattern checks on the skill's files.
Model reviewPassed

See the full security report

Quality evaluation

Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

See evaluation results

Source

SKILL.md in the repositoryCheckingtla_eval/skills/spec-repair/SKILL.md

Popularity

7-day trend score: 0

Not refreshed yet.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

Claude Code
Cursor
GitHub Copilot
Windsurf
Codex
Gemini CLI
Cline
Amp
Roo Code
Goose
Continue
Kilo Code
Junie
Trae
OpenHands
Qwen Code
AI Agent
Tabnine Chat
Sourcegraph Cody
Amazon Q
Firebase Genkit
Sweep
Devin
Phind
Mentat
Claude Desktop
Aider
GPT Pilot
Plandex
bolt.new
v0
Replit Agent
Anse
TypingMind
BetterChatGPT
LibreChat
Warp AI
Pieces
Fig AI

Embed badge

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/specula-org/sysmobench/spec-repair/badge)](https://verified-skill.com/skills/specula-org/sysmobench/spec-repair)

Something wrong with this skill or its page? Tell us.