apifystats
Log in Start free
Actor/herakles-dev

Lean 4 Proof Checker

Other

Checks a Lean 4 proof with Lean's own kernel and says whether the named theorem is proved, with no sorry and no extra axioms. Core Lean (Init and Std), no Mathlib. For AI agents that write proofs.

Publisher description, verbatim
Last 7 dayson this actor

No changes seen in the last 7 days.

The morning one happens, followers hear first.Follow this actor
Key figures24 readings
Price / 1k$20.00per 1,000 proof-check
Users / 30d1→ 0 over 24 readings
Users, all time2→ 0 over 24 readings
Runs / 30d21↑ 20 over 23 readings
Runs / user / mo21.0runs per monthly user
Recorded changes
  • 2026-10-05pricePrice changed$50.0 → $20.0/1k—on record
  • 2026-10-05contentREADME updated+49 characters+49characters
  • 2026-10-01changeListed—on record
showing 3 of 3 in the last 30 days · followers get the next one by email

History

24 readings since 2026-10-01
Users / 30d24 readings
10-01→ 010-24
Users, all time24 readings
10-01→ 010-24
Runs / 30d23 readings
10-01↑ 2010-24

Follow this actor, compare it against its rivals, and get every overnight change in one morning report.

Publish it yourself? Claim your publisher page and its full history is yours free, forever.

Open in the app Claim this page

Numbers on this page are measured only by an independent census of the Apify Store — not self-reported. Not indexed: too little has happened to this actor for us to have anything worth saying yet.