Skip to content

lichman0405/sure

v0.1.0Apache-2.0

Check AI-built software with the local SURE engine and use grounded repair contracts.

GitHub
skills

sure-check

Use the local SURE checker to verify an AI-built project, preserve unknowns, and apply/re-check SURE repair contracts.

Read SKILL.md at the source

Pinned to revision 933b4322c308, so it is the text this page describes rather than whatever the author pushed since.

Files

Every link opens the file at its source, pinned to the revision this page describes.