Zero Pricing
Starting price
Free
Pricing model
Free
Free tier
Yes
Free trial
No
Plans
| Plan | Price | Billing | Notes |
|---|---|---|---|
| Experimental | — | month | A programming language where the graph is the program; Humans ask for outcomes; Agents query the program graph, submit checked edits, and prove the result |
Figures are the vendor's published prices. Unknown values show as “—”. Price-history tracking is not yet available for this tool. Price verified 2026-10-03. Last updated 2026-10-09.