Describe a policy in plain English.
The model turns your sentence into a precise rule; Sheaf checks the whole set stays coherent (SMT). Review, test, ratify.
Paste your pod API key (top right), then describe a policy.
The model turns your sentence into a precise rule; Sheaf checks the whole set stays coherent (SMT). Review, test, ratify.