General secure coding agent skills that expands CodeGuard. I will use this to eventually add it to CodeGuard.
santosomar / tlaplus-model-reduction
