specula-org Read guide.md for the full incremental workflow and its current stage boundaries.
Incremental Modeling
Incrementally evolve and verify an existing Specula TLA+ suite for a new source revision. Use when an Agent has a prior Specula run plus old and new source, and must decide whether the model changes, update the reference/MC/Trace suite, generate Update.tla, reuse and rebase the prior trace harness for update-focused validation, model-check changed/unchanged interactions, and hand real counterexamples to bug reproduction.
Incremental Modeling by specula-org · edd78d0
npx skillmds@latest add specula-org/incremental-modeling File contents
---name: incremental-modelingdescription: Incrementally evolve and verify an existing Specula TLA+ suite for a new source revision. Use when an Agent has a prior Specula run plus old and new source, and must decide whether the model changes, update the reference/MC/Trace suite, generate Update.tla, reuse and rebase the prior trace harness for update-focused validation, model-check changed/unchanged interactions, and hand real counterexamples to bug reproduction.---Read `guide.md` for the full incremental workflow and its current stage boundaries.
specula-org/specula/tree/main/skills/incremental-modeling commit edd78d0f17
Frequently asked questions
Run npx skillmds@latest add specula-org/incremental-modeling in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.
Incrementally evolve and verify an existing Specula TLA+ suite for a new source revision. Use when an Agent has a prior Specula run plus old and new source, and must decide whether the model changes, update the reference/MC/Trace suite, generate Update.tla, reuse and rebase the prior trace harness for update-focused validation, model-check changed/unchanged interactions, and hand real counterexamples to bug reproduction. It is listed under AI & ML on SkillMD.
This skill has not completed SkillMD's automated safety review yet. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.
This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.
Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.
specula-org (@specula-org) published this skill. Their other Agent Skills are listed on their SkillMD profile.