» Tag
formal-methods
3 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.
How One Programming Language Rewrote Mathematics and Why Software Is Next
Lean programming language is revolutionizing mathematics and set to transform software verification.
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