Apify builder
D. Michael Piscitelli Leaderboard position
out of 10,354
New actors
-
Total actors
#3,805
↓ -1,214
Monthly users
#4,201
↓ -1,225
Total users
#5,787
↓ -1,324
Monthly runs
#3,905
↑ +2,156
Total runs
#4,393
+0
Portfolio stats
New actors
0
↓ -3
Total actors
3
+0
Monthly users
3
+0
Total users
6
+0
Monthly runs
85
↑ +67
Total runs
363
↑ +142
New actors
Each bar shows one day in the last 30 days.
Portfolio concentration
3 of 3 actors cover 80%+ of monthly users.
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.
33%
users
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.
33%
users
Edits Excel .xlsx and .xlsm spreadsheets for AI agents with no code sandbox. The receipt checks that macros, charts and pivots are still there. Also verifies a file against its original, rescues one a model re-saved, and shows a compact view.
33%
users
ActorHunt MCP
ActorHunt gives paid members MCP access to keyword data, actor evidence, and Store movement for deciding what to build next.
