Strong community interest, but tests, CI, or docs need work.
The math library of Lean 4
Documentation
94
CONTRIBUTING guide found.
README documents how to install the project.
README is present.
Licensed under Apache-2.0.
Engineering
31
No tests detected anywhere in the repository.
→ Add automated tests. They prove the code works and give contributors confidence to make changes.
No linter or formatter config found.
→ Add a linter config such as .eslintrc.json, .prettierrc, ruff.toml, or .golangci.yml to enforce consistent code style.
No dependency lockfile found (−70 pts).
→ Commit the lockfile for this project's package manager so installs produce the same dependency versions everywhere.
CI is configured (.github/workflows/build_fork.yml).
Issue or PR templates present.
Project health
68
No dependency manifest detected at root.
→ Add a manifest (package.json, pyproject.toml, Cargo.toml, go.mod, etc.) so others can install dependencies in one command.
Repository has a description.
Actively maintained (pushed within the last month).
.gitignore present.
Repository health signals
Activity, community, and responsiveness at scan time
Activity
- —Commits (30d / 90d)
- 1,422Forks
- 15Releaseslatest 2mo ago
Community
- —Community health
- —authors own >50% of commits
- 3,475Watchers
Responsiveness
- 1d 21hMedian issue response
- 3d 20hMedian PR merge time
- 2,965Open issues
Repository files28 root entries
- .devcontainerGood: Environment pinned via .devcontainer/Dockerfile.
- .docker
- .githubGood: CONTRIBUTING guide found.Issue: CONTRIBUTING guide contents could not be read (−28 pts vs a readable file).Fix: Move the file to the repo root or docs/CONTRIBUTING.md so its setup, style, test, and PR sections can be graded.Good: CI is configured (.github/workflows/build_fork.yml).Good: Dependabot configured for github-actions.Good: Issue or PR templates present.
- .vscode
- Archive
- CacheGood: Security policy present.
- Counterexamples
- docs
- DownstreamTest
- Mathlib
- MathlibTest
- scripts
- widget
- .gitignoreGood: .gitignore present.
- .gitpod.yml
- .pre-commit-config.yaml
- Archive.lean
- bors.toml
- CITATION.md
- CODE_OF_CONDUCT.mdGood: Code of conduct present.
- Counterexamples.lean
- docs.lean
- lake-manifest.json
- lakefile.lean
- lean-toolchain
- LICENSEGood: Licensed under Apache-2.0.
- Mathlib.lean
- README.mdGood: README is present.Good: README is well structured with multiple sections.Good: README includes screenshots or visuals. Great for first impressions.Good: README has code examples.Good: README links to a live demo or deployed app.Good: README includes status badges.Good: README documents how to install the project.Good: README documents how to run the project.