Neovim Plugins · rank #78 of 1342

julian/lean.nvim

Neovim support for the Lean theorem prover

★ 605 · licence MIT · last commit 2026-10-05 · GitHub · more by julian

Total score: 62.1 / 100

Bucket	Score (0–100)
Maintenance (weight 0.4)	56.1
Community (weight 0.35)	42.0
Quality (weight 0.25)	100.0

Signal breakdown

Signal	Raw value	Score (0–1)	Weight in bucket
author_track_record	2.521	0.501	0.15
bus_factor	0.086	0.086	0.15
ci_configured	1.0	1.0	0.3
commit_frequency_90d	3.784	0.555	0.2
contributors_12mo	2.303	0.385	0.25
days_since_last_commit	0.936	0.936	0.25
forks_log	1.799	0.386	0.15
license_osi	1.0	1.0	0.2
median_issue_close_days	0.877	0.877	0.15
median_pr_close_days	0.374	0.374	0.15
open_closed_issue_ratio	0.269	0.269	0.1
readme_present	1.0	1.0	0.2
release_cadence	1.0	0.01	0.15
stars_log	2.782	0.593	0.3
tests_present	1.0	1.0	0.3

← Back to Neovim Plugins

Embed your score

Maintainer? Put this badge in your README — it links back to this scorecard and refreshes with every nightly run.

[![scorecard](https://scorecards.monetize-oss.com/badges/neovim/julian__lean.nvim.svg)](https://scorecards.monetize-oss.com/projects/julian__lean.nvim.html)