claude

formal-model-checking

Bounded state models for concurrency, persistence and recovery claims, with validated counterexamples and separate implementation evidence.

0 on GitHubby Netresearch DTT GmbHv1.0.0(MIT AND CC-BY-SA-4.0)updated 8 days ago

Not in a marketplace yet, so it loads for one session with --plugin-dir.

Plugin formal-model-checking in netresearch/formal-model-checking-skill. Commands read from the repo's manifest — 8 days ago.

What it installs

Skills (1)

  • formal-model-checking

    Use when checking finite-state specifications of concurrency, persistence, retries or recovery; when asked for model checking or TLA+/TLC; or when systematic exploration of interleavings and failures is needed for a specific invariant. Not for routine unit tests, ordinary bug fixes or whole-program

View source on GitHub

Maintain formal-model-checking?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted