Terms of use

Last updated 5 September 2026

The service publishes heuristic scores for public Lean GitHub repositories. It is provided as-is, without a service level, and may change or stop at any time.

Scores

A grade is not a proof of mathematical correctness, soundness, security, or fitness for purpose. Compare scores only for the same analyzer version. Kernel acceptance and project quality are different properties.

Submissions

Submit only public HTTPS GitHub repositories that you are allowed to have fetched and discussed publicly. Analysis executes the project’s build. You ask us to clone that revision, generate a report, and may ask us to publish it in the index.

No affiliation

Lean Report Card is not affiliated with the Lean FRO, the Lean prover, or the owners of indexed repositories. Names and trademarks belong to their holders.

Limitation

To the extent permitted by law, operators are not liable for decisions made from these reports or for downtime, data loss, or third-party processing by GitHub or PostHog. See the privacy notice for how submissions are stored.