31 tagged model checking, measured the same way as everything else here.
Browse within: Deduplication 15idempotency 15open-source 15bounded-model-checking 14formal-methods 14formal-specification 14python 14
Abhinavbwj/Claude-skills-for-Computational-Designers
Skill Claude CodeCodex
Revit API fundamentals, Dynamo for Revit, pyRevit framework, IFC schema and openBIM, model checking, automated documentation, clash detection, and BIM interoperability tools for AEC computational design.
Skill Claude CodeCodex
Operate FSL's GitLab Flow-inspired lifecycle from short-lived branches through main and production to an exact vX.Y.Z release tag. Use when adopting the branch flow, integrating post-merge quality improvements, promoting a release, cutting a release, or handling a production hotfix.
Skill Claude CodeCodex
Reverse-engineer an FSL design-layer spec from existing source code. Scope the stateful subsystem, harvest state/actions/guards/effects with source-line witnesses, surface invariants and forbidden flows as confirmation questions (never fabricated), then verify, mutation-test for hollowness, and prove conformance by…
Skill Claude CodeCodex
Shared FSL language and verifier reference for writing, checking, verifying, repairing, explaining, mutating, refining, replaying, generating scenarios/test scaffolds, and interpreting fslc JSON results. Use directly for FSL syntax, kernel specs, verifier errors, repair loops, and command usage. For role-specific…
marcinfinitesimal533/Claude-skills-for-Computational-Designers
Skill Claude CodeCodex
Revit API fundamentals, Dynamo for Revit, pyRevit framework, IFC schema and openBIM, model checking, automated documentation, clash detection, and BIM interoperability tools for AEC computational design.
Skill Claude CodeCodex
Decide retain, equivalent contraction, proven retirement, or unresolved from current FlowGuard DNA.
Skill Claude CodeCodex
Use for external behavior registration, source coverage, one primary owner, change accounting, Primary Path Authority handoff, or broad confidence.
Skill Claude CodeCodex
Unified FlowGuard entry for behavior/state models, unclear routes, cross-route work, and kernel gates; use a clear public satellite directly.