formal-model-checking-skill Skill

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

Datenstand: 29.10.2026, 03:13 UTC

Repository Open-Source-Kompetenz im Projekt nutzen

Gesamt

Sterne: 0
Forks: 0
Mitwirkende: 2
Externe Mitwirkende: 0
Gemergte Pull Requests: 2
Releases: 0
Commits: 6
Packagist-Downloads: 0
Container-Abrufe: 0
Abhängige Repositories: 0

Letzte 30 Tage

Commits: 6
Geöffnete Issues: 1
Geöffnete Pull Requests: 2
Gemergte Pull Requests: 2
Releases: 0
Packagist-Downloads: 0
Container-Abrufe: 0

Geschätzte nachgelagerte Reichweite: 3

Ein Schätzindikator, kein belastbarer Reichweiten- oder Umsatzwert. Die Gewichte sind eine Setzung, keine Messung, und die Eingangsgrößen tragen die oben genannten Lücken. Zum Sortieren geeignet, nicht zum Entscheiden.

Wichtigste Mitwirkende

CybotTM: 5
renovate[bot]: 1

Abhängige Projekte

Repositories: 0
Pakete: 0

Dependency-Graph öffnen

Traffic (letzte 14 Tage)

Aufrufe (gesamt / eindeutig): 0 / 0
Klone (gesamt / eindeutig): 0 / 0

← Zurück zum Dashboard