Skill release postCoordinate agent tasks
Post summary
Aleksandr Misonizhnik (Seqra) released formal-spec: a Skill that applies formal methods while an agent reasons, to tighten correctness of complex decisions.
Aleksandr Misonizhnik
@seqradev
Seqra. Formal methods advocate. Engineering @opentaint — the open-source taint analysis engine for the AI era.