Free public analyzer
Turn a messy issue into a bounded ProofTask.
Paste issue text and get scope, non-goals, risk class and evidence boundaries. No GitHub comments are posted. No raw repo dump is accepted. Source code stays local.
GitHub App and webhooks are deferred behind an approval gate. This page is read-only analysis.
Local model review may advise classification, but cannot approve writes, claims or publication.