Skip to main content

Built by makers, shipped in public

Sign in

LeanWarp vs ClickRuntime

A side-by-side comparison built from both listings. Blank cells mean the company has not given that detail; we never guess.

LeanWarp compared with ClickRuntime
DetailLeanWarp logo LeanWarpClickRuntime logo ClickRuntime
What it doesHosted Lean 4 API for proof agents Run Python automations on a schedule or when events arrive, controlled from your AI assistant
StageMVP Not given
FoundedNot given Not given
Based inNot given IN
Pricing modelPaid Freemium
PricingStarting at $0.000278 per second of worker time (including idle time, increasing with CPU and RAM usage). $10 minimum credit purchase. $10 free credit for new accounts with verified email while launch offer lasts. Free: 250 runs/month, 420K input + 50K output AI tokens. Starter: $9/month or $90/year, 2,000 runs/month, 2M input + 400K output tokens. Plus: $39/month or $390/year, 7,500 runs/month, 8M input + 1.6M output tokens. Team: $99/month or $990/year, 25,000 runs/month, 20M input + 4M output tokens. Scale
Key featuresNot given
  • Schedule Python scripts to run from every 5 minutes to monthly on any timezone
  • Receive webhooks and run automations on external events
  • Store persistent state between runs with JSON values and counters
  • Call any HTTPS API with saved secrets and connected accounts
  • Send emails and post to Slack from automations
  • Built-in Gemini AI model for text classification and summarization
  • Full run logs with secrets masked and failure notifications
  • Use CLI or MCP to set up and manage automations
  • Approve all actions including turning on, running now, and deleting
What makes it different
  • Mathlib preloaded in pinned environments
  • Multiple API interfaces (CLI, MCP, Python, HTTP)
  • Kernel-verified proofs with no axioms allowed
  • Draft checking for iterative development
  • Keeps user fully in control with approval required for all actions
  • Never exposes API keys to the assistant, keys stay in the dashboard
  • Works with multiple AI assistants including ChatGPT, Claude and Cursor
  • One command works for both Node.js and Python installations
Free planNot given Not given
Open sourceNot given Not given
PlatformsNot given Not given
Public APINot given Not given
Community votes00
DR (Domain Rating by Ahrefs)Not checked yet no change since last checkNot checked yet no change since last check
Trust Flow (Majestic)00
Citation Flow (Majestic)00
Referring domains (Majestic)00

4 details filled in for both companies.

More alternatives to LeanWarp More alternatives to ClickRuntime

Ask us