Is Lean Prover safe and trustworthy?

tashan scores Lean Prover on public evidence — tashan score 35.0/100, it is currently active, note: a single primary maintainer (bus-factor risk). Audit scope: OSV advisories, install-time scripts, build provenance and declared permission surface. We do not review source code or execute the capability.

How do I install Lean Prover?

Configure it from its source repository — it is a remote / registry server.

Who maintains Lean Prover?

1 GitHub contributors, source: PsychQuant/psychquant-claude-plugins.

‹ The Index

Lean Prover

plugin

Lean 4 automated proof grinding — breadth-first sorry elimination with Mathlib API rules, codex-prove-assist, lean-prover agent, and auto-commit

Works with: Claude Code (native)
native: this artifact type is that client's own format

Category: Dev Tools & CI — see all ranked ›

Install (Claude Code):

/plugin marketplace add PsychQuant/psychquant-claude-plugins
/plugin install lean-prover@psychquant-claude-plugins

tashan score: 35.0
Adoption: 1 repos
Upkeep: 61.0
Freshness: 93.0
Evidence coverage: 84% of the inputs this score can use — the rest are unknown, and the score is discounted for it
Health: active
Contributors: 1
License: MIT

Security audit

Not scanned yet. We audit npm-published capabilities for known advisories, install-time scripts and permission surface; this one has no npm package we can resolve, or has not reached the queue.

You searched for one. Check the rest of your stack:

npx tashan-cli doctor

Reads the config already on your machine and names what is dead, deprecated or running code at install time. No account, nothing uploaded.

tashan Pro$6/mo

Lean Prover scores 35 today. Pro keeps the series, so you can see whether that is a project getting better or one on its way down.

The whole series behind any row, back to the first day we measured it
The replacement, named — not just the news that something died
tashan doctor over your own config, on your own machine

Start a 7-day trial › Everything measured on this page stays free.

Show your score

Measured this well? Put the live badge in your README — it updates as the score does.

[![tashan](https://tashan.sh/badge/plugin-psychquant-psychquant-claude-plugins-lean-prover.svg)](https://tashan.sh/capability/plugin-psychquant-psychquant-claude-plugins-lean-prover.html)

source ↗ · plugin:psychquant/psychquant-claude-plugins/lean-prover

Everything on this page is public evidence and free. What it cannot know is whether you run this — check your whole config, free, in the browser. tashan Pro adds the series behind each row and names a replacement for anything dying.

Already running this? Check your whole config — free, in your browser, nothing installed. Or npx tashan-cli doctor locally, which sends nothing at all.

Measured 2026-09-13 · scorer s5 · how · something wrong here?