Last released Jul 17, 2026
Finds void guards: checks that are present, plausible, and verify nothing.
Last released Jul 9, 2026
Name reservation for Promethyn — a verifier-first runtime that governs autonomous AI actions.
Supported by