+16 Commodity PressureMarketing mixes lofty formal-methods claims with generic 'Generative AI' language, so the core idea looks specialized but the positioning is easily copyable at a high level.
We combine the creativity of generative AI with the reliability of mathematical formal methodsUses generic terms: 'Generative AI', 'LLMs', 'Vision-Language Models'
+6 Model DependencySite emphasizes 'our engine' and Lean 4 theorem prover; no visible evidence of being a thin wrapper around third-party models.
Refers to 'our engine' that executes and verifies business rulesleveraging the verification capabilities of formal methods, such as the Lean 4 theorem prover
-12 Workflow OwnershipTargets document and decision-audit workflows and claims to 'execute and verify your exact business rules', implying ownership of compliance and auditing workflows.
Document & Decision Logic Auditing — Instantly prove consistency across thousands of documents, contracts, or policiesEngine 'executes and verifies your exact business rules'Retroactively audit historical decisions and guarantee your entire knowledge base is logically coherent and regulation-compliant
-0 Distribution EmbeddednessNo visible platform partners, integrations, or channel play; evidence of incubator selection and angel interest only.
Selected to join the Agoranov incubatorClosed an oversubscribed angel round — actively recruiting
-0 Integration DepthClaims a verification engine that enforces rules, but there are no visible connectors, APIs, or enterprise integration artifacts on the site.
Our engine that executes and verifies business rulesStates applicability to LLMs and Vision-Language Models
-4 Enterprise TrustStrong regulatory/compliance positioning and promises of traceability, but no compliance certifications, customer case studies, or procurement signals are shown.
Explicit focus on regulatory, legal, and business rule enforcementFour unique formal guarantees to every LLM we build. 100% Logical Consistency, 100% Enforceable Constraint, 100% TraceabilityNo customer_proof_markers or visible compliance badges
-6 Switching CostIf rules are encoded as claimed ('add once, impossible to disregard'), that can create real lock-in, but there's no published customer data proving data gravity.
Add your regulatory, legal, or business rules once, and it becomes formally impossible for the model to disregard themRetroactively audit historical decisions
-0 Monetization MaturityHidden pricing, no customer logos or case studies, and clear early-stage signals suggest immature monetization.
pricing_visibility: hiddencustomer_proof_markers: []Closed an oversubscribed angel round — actively recruiting
-8 Category BaselineFrontier model vendors start with a stronger baseline than downstream wrappers.
frontier model vendor
-6 Relative PlacementSmall downward move: frontier-vendor tech and formal-methods claims justify more defense than the raw score, but lack of customers, integrations, and bold marketing claims keep risk elevated.
Archetype is frontier_model_vendor — peers (OpenAI, Anthropic, Aleph Alpha) sit much lower on the death clock, so category baseline favors more resilience.Core technical claim (Lean 4 theorem proving / formally verified LLMs) suggests a substantive engineering moat vs thin app-layer wrappers.High commodity-pressure marketing language ('Generative AI', '100% guarantees') introduces copyable positioning risk and possible overclaiming.