Number 1: 
Lavender
AI email coach that helps sales teams write better emails and get more replies
- AI Coding Assistants
- United States
- DR 72 +1 (up) since last check
AI Coding Assistants
LeanWarp
Hosted Lean 4 API for proof agents
- Community votes
- 0
- DR by Ahrefs
- 0 no change since last check
Ahrefs Domain Rating benchmarked 6 Nov 2026, rebuilt 6 Nov 2026.
A hosted Lean 4 environment with Mathlib preloaded that lets proof agents check files, try tactics and verify proofs through CLI, MCP, Python and HTTP APIs.
What it is
LeanWarp provides a hosted Lean 4 environment with Mathlib already loaded, enabling AI agents and developers to work with formal proofs. The service offers four core operations: Check compiles Lean files and reports errors and warnings; Inspect shows goals and local context at any proof step; Try tactics tests multiple tactics on the same goal without file editing; and Verify confirms proofs against their exact statements using Lean's kernel. For longer proofs, LeanWarp provides commands to list holes, suggest tactics, split proofs into lemmas, map file declarations, check multiple files at once, and verify proofs in batch. The service is currently in beta and charges per second of worker runtime, starting at $0.000278 per second, with no subscription required.
Pricing
Pricing model: Paid
Starting 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.
Follow the workshop. Log in to follow LeanWarp's workshop
Following LeanWarp means an email when they reach a milestone, post an update or launch a new product.
LeanWarp metrics
| Metric | Value |
|---|---|
| Domain Rating | 0 no change since last check |
| Trust Flow | 0 no change since last check |
| Citation Flow | 0 no change since last check |
| Referring domains | 0 no change since last check |
| External backlinks | 0 no change since last check |
Ahrefs Domain Rating benchmarked 6 Nov 2026, rebuilt 6 Nov 2026. Majestic benchmarked 6 Nov 2026, rebuilt 6 Nov 2026. Link data built by Majestic. Trust Flow, Citation Flow and Topical Trust Flow are trademarks of Majestic-12 Ltd.
LeanWarp domain build sheet
Open the build sheet
| Domain age | 4 months |
|---|---|
| Registered | |
| Expires | |
| Registrar | HOSTINGER operations, UAB |
| DNSSEC | Not signed |
Planning a launch?
Plan your launch with our free playbook, from preparing your listing to choosing more launch directories.
- The week before
- Launch day
- Launch week
- Afterwards
Compare and explore
Questions from the bench
- How does pricing work?
- LeanWarp charges per second while a worker runs at $0.000278 per second starting rate, with costs increasing based on CPU and RAM usage. You prepay credit in $10 increments, and creating workspaces and uploading files is free. New accounts get $10 free credit while the launch offer lasts.
- What does the Verify command do?
- The Verify command replaces placeholders with a tactic and confirms that Lean's kernel verifies the proof against the exact statement. Proofs using sorry, admit, or new axioms fail verification.
- Can I use LeanWarp with AI agents?
- Yes, agents can run LeanWarp commands through MCP, and the service also offers Python and HTTP APIs for integration.
- What operating systems does LeanWarp support?
- LeanWarp runs on Linux, macOS, and Windows (via WSL).
Leave a review for LeanWarp
Nobody has put LeanWarp on the bench yet. Leave the first review.
Reviewing is free, and nobody can pay for a review. Read the bench notes
Maker reviews · Workshop notes · Show it off · Did you make this? Claim it · Report this build
LeanWarp has a free listing. The owner can unlock the full profile with a paid launch for $5:
- Founder story (locked)
- Milestones (locked)
- Demo video (locked)
- Dofollow website link (locked)
More builds like this
Number 1:
Number 2:
ElbowMore intelligence per engineer
- AI Coding Assistants
- DR 3 no change since last check
Number 3:
AnaraAI workspace for research that cites every claim to its source
- AI Coding Assistants
- United States
- DR 54 no change since last check
Number 4:
AitJazPrivate, offline voice typing for Windows
- AI Coding Assistants
- Kazakhstan
- DR 0 no change since last check