H
Palo Alto, CA-based AI company founded 2023. Private. Develops mathematical AI for theorem proving and software verification. Serves researchers, engineers, and educators.
Pricing Change History
0 changesNo tracked pricing changes yet — new verified changes land here automatically.
Research Harmonic's pricing with the Pulse Agent
Ask anything about Harmonic's plans, packaging shifts, and how it compares across the market — answered live from verified data.
Ask the agentCurrent plans
No published plans on Harmonic's pricing page yet.
Company Facts
How Harmonic compares with its peers
| Company | Entry price | Last change |
|---|---|---|
I IXL Learning (Canada)![]() | CAD 8.25 /mo, billed annually | — |
1 11x![]() | $5,333 /mo, billed annually | — |
A Abacus.AI![]() | $10 /mo | Oct 19, 2026 |
A Abacus.AI![]() | $10 /mo | Oct 19, 2026 |
A Ada![]() | Contact | — |
A Adapt![]() | $14 /user/mo | Oct 19, 2026 |





