Turns invoice PDFs and scans into JSON. Every field is marked as agreed by two independent readers or flagged for a person, and you pay only for pages it actually extracted and cross-checked.
1
Users / 30d
3
Runs / 30d
—
Rating
Updated 3 Oct 2026
Apify builder
@herakles-dev
Leaderboard position
out of 7,103
New Actors / 30d
#993
Total Actors
#3242
Active users / 30d
#3535
Total users
#4752
Runs / 30d
#6346
Total runs
#6150
Portfolio stats
New Actors / 30d
2
Total Actors
2
Active users / 30d
2
+1 since first snapshot
Total users
4
Runs / 30d
5
+4 since first snapshot
Total runs
32
Portfolio history
Daily publishing
2
Each bar represents one UTC day.
Actor portfolio
2 matching of 2 Actors · page 1 of 1
Turns invoice PDFs and scans into JSON. Every field is marked as agreed by two independent readers or flagged for a person, and you pay only for pages it actually extracted and cross-checked.
1
Users / 30d
3
Runs / 30d
—
Rating
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.
1
Users / 30d
2
Runs / 30d
—
Rating