» Tag
formal-methods
2 postsSpec Forge: Adversarially Certifying Specs as Behaviorally Complete
Spec Forge is a Claude Code skill that adversarially certifies specifications as behaviorally complete before any code is written.
Five-Paper Series Formalizes Cohesion, Arrives at the IVP
Five Zenodo papers formalize software cohesion and derive the Independent Variation Principle, exposing gaps in common cohesion metrics.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com