GitHub

leanprover/lean4

 597 forks
 6k stars

Description

Lean 4 programming language and theorem prover

Homepage

https://github.com/leanprover/lean4

Project metadata as of .

OpenSSF scorecard

The Open Source Security Foundation is a cross-industry collaboration to improve the security of open source software (OSS). The Scorecard provides security health metrics for open source projects.

View information about checks and how to fix failures.

Score
4.5/10
Scorecard as of .
Code-Review
1/10
Determines if the project requires human code review before pull requests (aka merge requests) are merged.
Reasoning
Found 3/30 approved changesets -- score normalized to 1
Maintained
10/10
Determines if the project is "actively maintained".
Reasoning
30 commit(s) and 18 issue activity found in the last 90 days -- score normalized to 10
Security-Policy
0/10
Determines if the project has published a security policy.
Reasoning
security policy file not detected
CII-Best-Practices
0/10
Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.
Reasoning
no effort to earn an OpenSSF best practices badge detected
License
10/10
Determines if the project has defined a license.
Reasoning
license file detected
Token-Permissions
0/10
Determines if the project's workflows follow the principle of least privilege.
Reasoning
detected GitHub workflow tokens with excessive permissions
Dangerous-Workflow
10/10
Determines if the project's GitHub Action workflows avoid dangerous patterns.
Reasoning
no dangerous workflow patterns detected
Fuzzing
0/10
Determines if the project uses fuzzing.
Reasoning
project is not fuzzed
Signed-Releases
0/10
Determines if the project cryptographically signs release artifacts.
Reasoning
Project has not signed or included provenance with any releases.
Binary-Artifacts
10/10
Determines if the project has generated executable (binary) artifacts in the source repository.
Reasoning
no binaries found in the repo
SAST
0/10
Determines if the project uses static code analysis.
Reasoning
SAST tool is not run on all commits -- score normalized to 0
Pinned-Dependencies
1/10
Determines if the project has declared and pinned the dependencies of its build process.
Reasoning
dependency not pinned by hash detected -- score normalized to 1