Is Lean Ctx Bin yours?

Prove you control its source repository and you can answer the findings on its page, in your own words, beside them. The findings stay as the scan recorded them: a reply is yours, the record is ours, and the page says which is which.

1. Sign in and start a claim. You get a token nobody else has.
2. Commit it, on a line of its own, to .well-known/ooruby-claim.txt on the default branch of the repository this listing names as its source.
3. Press check. We read the file from the host; if your token is there, the claim is yours.