Cursor records 23,297,751 monthly visits with +8.4% month-over-month growth and Freemium pricing. Imandra records 1,466 monthly visits with -25.7% growth and Freemium pricing.
The AI coding agent for building ambitious software
Automated reasoning that makes AI-generated software provably correct
| Dimension / Metric | | |
|---|---|---|
| Official Domain | cursor.com | imandra.ai |
| Pricing Model | Freemium | Freemium |
| Monthly Visits | 23.3M (23,297,751) | 1.47K (1,466) |
| MoM Traffic Delta | +1.8M (+8.4%) | -508 (-25.7%) |
| Primary Market & Share | 🇺🇸 United States (24.1%) | 🇮🇳 India (100%) |
| Direct Visits / mo | 14.68M | 567 |
| User Rating | 4.7 | 4.4 |
| Supported Platforms | Website | Website |
The AI coding agent for building ambitious software
An agentic mode that plans changes, edits several files at once, runs tests, and iterates until the task is complete.
Background agents spin up their own environments to build, test, and demo features in parallel, then hand back results for review.
Fast inline suggestions plus codebase-wide semantic search and indexing so answers reflect your actual repository.
Switch between leading frontier models from multiple providers, or let Cursor select a model automatically for each task.
Automated reasoning that makes AI-generated software provably correct
Imandra's reasoning engine builds formal models of programs and autonomous systems, then exhaustively analyzes behavior to surface edge cases that testing and statistical models miss.
CodeLogician translates a codebase into mathematical logic and assembles a MetaModel spanning every file and dependency, giving AI assistants a complete structural context with no learning phase.
Instead of sampling inputs, Imandra decomposes state space into behavioral regions so decisions and boundary conditions are examined exhaustively and reproducibly.
Benchmarks published by Imandra show that augmenting LLMs with formal reasoning through CodeLogician closed a 41-47 percentage point accuracy gap on software-analysis reasoning tasks compared with LLM-only approaches.
Free / Open-sourceHigh-efficiency open-weight and hosted reasoning AI powered by DeepSeek-V4 and R1 at ultra-low token costs.
Free / Open-sourceHigh-efficiency open-weight and hosted reasoning AI powered by DeepSeek-V4 and R1 at ultra-low token costs.
Google's agent-first development platform for building and shipping software with AI agents
Google's agent-first development platform for building and shipping software with AI agents
SpecialistEnables instant cloud-based full-stack app building from natural language, but is less suited for local offline repositories.
SpecialistEnables instant cloud-based full-stack app building from natural language, but is less suited for local offline repositories.
Free / Open-sourceOffers unmatched extension support and official Copilot integration, but lacks Cursor's out-of-the-box deep codebase indexing and agentic editing.
Free / Open-sourceOffers unmatched extension support and official Copilot integration, but lacks Cursor's out-of-the-box deep codebase indexing and agentic editing.
Features advanced multi-file planning and codebase reading, but lacks Cursor's smooth chat-to-edit inline workflows.
Features advanced multi-file planning and codebase reading, but lacks Cursor's smooth chat-to-edit inline workflows.
The AI coding agent that turns ideas into shipped software
A spec-driven AI IDE and agent platform that plans, builds, reviews, and verifies real engineering work.
A spec-driven AI IDE and agent platform that plans, builds, reviews, and verifies real engineering work.
SpecialistOperates as a fully autonomous software engineer for complex tasks, but lacks the snappy interactive inline editing of Cursor.
SpecialistOperates as a fully autonomous software engineer for complex tasks, but lacks the snappy interactive inline editing of Cursor.
The coding agent that learns your coding taste
The coding agent that learns your coding taste
GenAI-native end-to-end QA agent that plans, writes and heals tests in plain language
All-in-one AppSec platform that finds and auto-fixes vulnerabilities
All-in-one AppSec platform that finds and auto-fixes vulnerabilities
SpecialistAn AI IDE and coding agent that works on your project, not just your cursor
SpecialistAn AI IDE and coding agent that works on your project, not just your cursor
