Cursor verzeichnet 23.297.751 monatliche Besuche mit +8,4 % Wachstum gegenüber dem Vormonat und einem Preismodell „Freemium“. Imandra verzeichnet 1.466 monatliche Besuche mit -25,7 % Wachstum und einem Preismodell „Freemium“.
Der KI-Coding-Agent für anspruchsvolle Software
Imandra is a neurosymbolic reasoning platform that turns source code and system logic into precise mathematical models, so AI agents and engineers can prove properties, find edge-case bugs, and verify behavior before it ships. Its flagship CodeLogician tool plugs into AI coding assistants such as Codex, Cursor, and Gemini, while ImandraX powers automated reasoning for financial markets, autonomous systems, and regulated industries.
| Dimension / Kennzahl | | |
|---|---|---|
| Offizielle Domain | cursor.com | imandra.ai |
| Preismodell | Freemium | Freemium |
| Monatliche Besuche | 23,3 Mio. (23.297.751) | 1466 (1.466) |
| MoM-Traffic-Delta | +1,8 Mio. (+8,4 %) | -508 (-25,7 %) |
| Primärmarkt und Anteil | 🇺🇸 Vereinigte Staaten (24,1 %) | 🇮🇳 Indien (100 %) |
| Direkte Besuche / Monat | 14,68 Mio. | 567 |
| Nutzerbewertung | 4,7 | 4,4 |
| Unterstützte Plattformen | Website | Website |
Der KI-Coding-Agent für anspruchsvolle Software
Ein agentischer Modus, der Änderungen plant, mehrere Dateien gleichzeitig bearbeitet, Tests ausführt und iteriert, bis die Aufgabe erledigt ist.
Hintergrund-Agenten starten eigene Umgebungen, um Features parallel zu bauen, zu testen und zu demonstrieren, und liefern Ergebnisse zur Prüfung zurück.
Schnelle Inline-Vorschläge plus semantische Suche und Indexierung über die gesamte Codebasis, damit Antworten Ihr echtes Repository berücksichtigen.
Wechseln Sie zwischen führenden Frontier-Modellen mehrerer Anbieter oder lassen Sie Cursor pro Aufgabe automatisch wählen.
Imandra is a neurosymbolic reasoning platform that turns source code and system logic into precise mathematical models, so AI agents and engineers can prove properties, find edge-case bugs, and verify behavior before it ships. Its flagship CodeLogician tool plugs into AI coding assistants such as Codex, Cursor, and Gemini, while ImandraX powers automated reasoning for financial markets, autonomous systems, and regulated industries.
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.
Kostenlos / Open SourceHocheffiziente Open-Weight- und gehostete Reasoning-KI auf Basis von DeepSeek-V4 und R1 zu extrem niedrigen Token-Kosten.
Kostenlos / Open SourceHocheffiziente Open-Weight- und gehostete Reasoning-KI auf Basis von DeepSeek-V4 und R1 zu extrem niedrigen Token-Kosten.
Googles Entwicklungsplattform für das Agenten-Zeitalter
Googles Entwicklungsplattform für das Agenten-Zeitalter
SpezialisiertEnables instant cloud-based full-stack app building from natural language, but is less suited for local offline repositories.
SpezialisiertEnables instant cloud-based full-stack app building from natural language, but is less suited for local offline repositories.
Kostenlos / Open SourceBietet unübertroffenen Support für Erweiterungen und offizielle Copilot-Integration, hat aber nicht die tiefgehende Codebase-Indizierung und das agentenbasierte Editieren von Cursor.
Kostenlos / Open SourceBietet unübertroffenen Support für Erweiterungen und offizielle Copilot-Integration, hat aber nicht die tiefgehende Codebase-Indizierung und das agentenbasierte Editieren von Cursor.
Bietet fortschrittliche Multi-Datei-Planung und Codebase-Analyse, aber vermisst die flüssigen Chat-zu-Edit-Inline-Workflows von Cursor.
Bietet fortschrittliche Multi-Datei-Planung und Codebase-Analyse, aber vermisst die flüssigen Chat-zu-Edit-Inline-Workflows von Cursor.
Der KI-Coding-Agent, der Ideen in ausgelieferte Software verwandelt
Der KI-Coding-Agent, der Ideen in ausgelieferte Software verwandelt
Eine spezifikationsgetriebene KI-IDE und Agentenplattform, die echte Engineering-Arbeit plant, baut, prüft und verifiziert.
Eine spezifikationsgetriebene KI-IDE und Agentenplattform, die echte Engineering-Arbeit plant, baut, prüft und verifiziert.
SpezialisiertOperates as a fully autonomous software engineer for complex tasks, but lacks the snappy interactive inline editing of Cursor.
SpezialisiertOperates as a fully autonomous software engineer for complex tasks, but lacks the snappy interactive inline editing of Cursor.
Der Coding-Agent, der deinen Coding-Stil lernt
Der Coding-Agent, der deinen Coding-Stil lernt
GenAI-nativer E2E-QA-Agent, der Tests in natürlicher Sprache plant, schreibt und heilt
All-in-One-AppSec-Plattform, die Schwachstellen findet und automatisch behebt
All-in-One-AppSec-Plattform, die Schwachstellen findet und automatisch behebt
SpezialisiertEine KI-IDE und ein Coding-Agent, die an deinem Projekt arbeiten, nicht nur an deinem Cursor
SpezialisiertEine KI-IDE und ein Coding-Agent, die an deinem Projekt arbeiten, nicht nur an deinem Cursor
