formal-model-checking-skill Skill

Agent skill for bounded state models of concurrency, persistence and failures, with counterexamples and implementation evidence.

Data as of: 29 October 2026, 03:13 UTC

Repository Use this open-source capability in your project

Lifetime

Stars: 0
Forks: 0
Contributors: 2
External contributors: 0
Pull requests merged: 2
Releases: 0
Commits: 6
Packagist downloads: 0
Container pulls: 0
Dependent repositories: 0

Last 30 days

Commits: 6
Issues opened: 1
Pull requests opened: 2
Pull requests merged: 2
Releases: 0
Packagist downloads: 0
Container pulls: 0

Estimated downstream reach: 3

An estimate, not a reach or revenue figure. The weights are a judgement call, not a measurement, and the inputs carry the gaps listed above. Use it to sort, not to decide.

Top contributors

CybotTM: 5
renovate[bot]: 1

Dependents

Repositories: 0
Packages: 0

Open the dependency graph

Traffic (last 14 days)

Views (total / unique): 0 / 0
Clones (total / unique): 0 / 0

← Back to the dashboard