# 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.

- Skill: `specula-org/incremental-modeling` (Agent Skill, multi-file: 14 files)
- Install (CLI): `npx skillmds@latest add specula-org/incremental-modeling`
- Raw SKILL.md: https://api.skillmd.com/api/skills/specula-org/incremental-modeling/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- Author: specula-org (https://skillmd.com/u/specula-org)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/specula-org/incremental-modeling

---


Read `guide.md` for the full incremental workflow and its current stage boundaries.