Explore
Explore the platform.
Free14 days
- Relevant capabilities across the catalog
- 14 days from activation · evaluation only
- One supported evaluation environment
- Shared interfaces and applicable checks
PRICING & PACKAGESThe full offering ↗
Start with the work.
Expand on your terms.
Monthly platform proposals, retained standalone licenses and separately scoped services. Match the rights, capacity and operating responsibilities before comparing prices.
Choose your starting pointUPDATED CATALOG / PRICES RETAINEDThe scope follows
The scope follows
the written agreement.
New synthesis products, SpinForge Bench, Bio, Discovery Core and newly explicit Garmo Solvers modules have no invented standalone rates. Monthly workflow prices are unchanged. Legacy seventeen-track bundle figures are not automatically converted into all twenty-one current solver rights or the full 64-entry platform.
Compare actual coverage Explore all productsAvailable nowAll 64 products are available with CLI, MCP and headless access.
View interfacesONE PLATFORM / CAPACITY-BASED ENTRYThe same anchors.
The same anchors.
A clearer agreement.
Access the capabilities required by a qualified workflow. No new software purchase just to select another compatible method inside that scope.
Developer
Build without method-by-method licensing.
$1,000/ month
- Catalog access for development and commercial R&D
- One named developer · no production rights
- One supported machine · up to 1 GPU
- Common foundation and bounded product support
Production
One outcome. The methods it needs.
$4,000/ month
- Capabilities required by one qualified workflow
- One production deployment + staging
- Three users · up to 1 supported GPU total
- Shared orchestration and checks included once
Team
Shared methods. More workflows.
$8,000/ month
- Several qualified workflows, defined in your order
- Shared production and staging capacity
- Five users · up to 4 supported GPUs total
- Compatible methods within the agreed workflow scope
Scale
More capacity. One agreement.
$12,000/ month
- Broader qualified deployment and shared computation
- Workflows and concurrency defined in your order
- Ten users · up to 8 supported GPUs total
- One support owner for the agreed integrated workflow
Proposed new workflow entitlements, USD. Prices stay at $1,000 / $4,000 / $8,000 / $12,000 per month; product-count caps no longer define platform access. Customer-hosted infrastructure is separate. Existing agreements do not change automatically. CPU-only capacity and all production responsibilities are specified before activation.
The legacy Core Suite has 24 priced entries. The current catalog has 64.
The $750,000 annual Core Suite retains seven applications and seventeen specialist tracks. A full all-64 enterprise agreement is separately quoted. New monthly workflow entitlements are proposed, not retroactive.
Inspect all 64 entitlementsNeed a smaller start? Explore monthly access for a selected, supported workflow. These annual and custom agreements retain their separate scope.
See monthly plansOne application.
Or a considered collection.
SpinForge + Atlas
Discrete optimization
SpinRoute
AI expert routing
SpinMem
KV-cache & memory placement
SpinKernel
GPU kernel autotuning
SpinSovereign
Sovereign-cloud GPU scheduling
SpinProof
AI acceleration & model assurance
SpinCache
Long-context KV-cache compression
Package the workflow.
A bundle replaces overlapping component charges. It is not added on top of them.
Certified Long-Context Inference
Compression and direct decode, paired with evaluation and reporting.
$125,000/ yearIncluded offerings +
SpinCache · SpinProof
Standard deployment
Memory and Long-Context
Placement, compression and evaluation across the memory workflow.
$195,000/ yearIncluded offerings +
SpinMem · SpinCache · SpinProof
Standard deployment
AI Infrastructure
Six applications across AI serving, memory, kernels and GPU scheduling.
$425,000/ yearIncluded offerings +
SpinRoute · SpinMem · SpinKernel · SpinSovereign · SpinProof · SpinCache
Standard deployment
Application Portfolio
All seven application offerings, with supported shared interfaces.
$500,000/ yearIncluded offerings +
SpinForge + Atlas · SpinRoute · SpinMem · SpinKernel · SpinSovereign · SpinProof · SpinCache
Standard deployment
New Solver Suite
All 17 additional solver and infrastructure tracks at their qualified release scope.
$300,000/ yearIncluded offerings +
17 new solver tracks
Standard deployment
Expanded Optimization Platform
SpinForge + Atlas together with the 17-track solver expansion.
$350,000/ yearIncluded offerings +
SpinForge + Atlas · 17 new solver tracks
Standard deployment
SpinForge Core Suite
Seven applications, all 17 new tracks and supported shared platform capabilities.
$750,000/ yearIncluded offerings +
SpinForge + Atlas · SpinRoute · SpinMem · SpinKernel · SpinSovereign · SpinProof · SpinCache · 17 new solver tracks
Single site / region · 32 GPUs + 512 vCPUs shared
Annual application and module scope: one company, one named production deployment, up to eight supported GPUs and 128 vCPUs, plus one nonproduction environment. Complete-platform tiers use their stated aggregate allowances. Updates and business-hours product support are included. Hardware compatibility is release-specific.
A specialist license can be the smaller purchase.
Batch tiny-instance: $12,000/year. Krylov: $15,000/year. Compare term, capacity, support and permitted deployment—not price alone. Monthly platform access and annual module licenses are different entitlements.
Need a smaller start? Explore monthly access for a selected, supported workflow. These annual and custom agreements retain their separate scope.
See monthly plansThe specialist
you need.
01$45,000/ year · scoped module02$60,000/ year · scoped module03By proposalselected scope04$60,000/ year · scoped module05$75,000/ year · scoped module06By proposalselected scope07$45,000/ year · scoped module08By proposalselected scope09By proposalselected scope10By proposalselected scope11$60,000/ year · scoped module12$30,000/ year · scoped module13By proposalselected scope14$45,000/ year · scoped module15By proposalselected scope16$75,000/ year · scoped module17$15,000/ year · scoped module18$45,000/ year · scoped module19$30,000/ year · scoped module20$12,000/ year · scoped module21$75,000/ year · scoped module
MaxSAT
Satisfy hard clauses while optimizing weighted soft requirements.
CertCut
Solve Max-Cut/Ising problems with independently checkable optimality evidence where completed.
CP
Constraint programming for supported XCSP3 models and scheduling.
Partition
Divide a supported graph or hypergraph while evaluating its partition objective.
VRP
Plan vehicle routes under supported CVRP and VRPTW requirements.
SMT
Check supported bit-vector and integer-arithmetic requirements.
Router
Select compatible computational backends, race them and apply execution guards.
QBF
Solve quantified Boolean formulas with their quantifier order retained.
TSP
Find tours for supported traveling-salesman problems.
Presolve
Preprocess supported CNF before MaxSAT execution.
Conic
Solve supported linear, quadratic and second-order-cone models.
CertOT
Solve optimal-transport and assignment problems with the appropriate checks.
MINLP
Evaluate supported mixed-integer nonlinear models from OSiL/PIP inputs.
CertBQP
Optimize binary quadratic choices subject to linear constraints.
certnum
One product for certified MDP values, partition-function bounds and model counting.
MIP
Select a mixed-integer programming path for a supported constrained model.
Krylov
Solve matrix-free linear systems with a recomputed true-residual certificate.
HOBO
Optimize higher-order binary models with three- and four-body terms.
Toroidal
Solve supported toroidal and planar spin-glass instances exactly.
Batch
Execute thousands of supported tiny QUBO or SAT instances in a batch.
Unroute
Prove early when a supported routing or flow problem cannot be routed.
Garmo Solvers 1.0.2 is the current 21-module product suite. Existing named-module prices are retained for a defined license scope, not an automatic release-wide entitlement. Newly listed modules and consolidated certnum pricing are by proposal. Shared required checking is included within the activated workflow.
Retained certnum component pricing — legacy scope
Earlier separately quoted numerical scopes remain: MDP $30,000/year; log-Z $30,000/year; exact counting $45,000/year. These are not three current catalog products and do not imply that their fees must be added to license certnum. Current certnum and bundle scope are agreed in writing.
One required foundation—not another platform toll.
Within an activated platform workflow, compatible engine selection and required checking are included once. The standalone annual/add-on prices below remain separate purchase options, not automatic add-ons to the platform plan.
Need a smaller start? Explore monthly access for a selected, supported workflow. These annual and custom agreements retain their separate scope.
See monthly plansENGINE LICENSINGDifferent engines.
Different engines.
Distinct agreements.
UCS, GarmoForge and UNISOLVE are not automatically included in the $750,000 SpinForge Core Suite license.
01$100,000–$300,000indicative one-time evaluation02$500,000–$2,000,000indicative one-time program03By proposalannual or negotiated term04$150,000–$300,000indicative annual add-on05By proposaldefined product scope06By proposalno duplicate component charges07From $1,000/monthDeveloper access · no production rights08By proposalcapacity, infrastructure and acceptance
GARMO UCS technical evaluation
One customer workload, onboarding and evidence review. No production or source rights.
GARMO UCS production program
A substantial integration and acceptance campaign.
GARMO UCS runtime licensing
Focused team, enterprise, major-account or embedded rights.
GarmoForge coordination & repair
One named workflow in an existing licensed execution environment.
GarmoForge standalone / broader deployment
Functions, workflows, capacity and engine rights specified together.
Joint platform agreement
SpinForge, UCS, GarmoForge and UNISOLVE only where the workflow requires them.
UNISOLVE engine access
One selected engine in a scoped monthly plan. Supported model classes and execution/checking limits apply.
UNISOLVE operated service or integration
Model execution, admitted proof-required analysis, incremental what-if work or a defined customer integration.
Strategic engine agreements are priced to their actual scope. Focused, enterprise and major-account agreements each define their own deployment rights. Source-code transfer and exclusivity are separately negotiated, not automatic runtime rights.
FOCUSED ENGINEERINGA smaller start.
A smaller start.
A defined delivery.
Optional, fixed-scope engagements. Start with the help you need, not a mandatory enterprise program.
Guided onboarding
Configure one supported environment and work through one example with your team.
$5,000one-timeSee the scopeSingle-workload assessment
Evaluate one agreed workload against a defined baseline and decide what is worth changing.
$15,000one-timeSee the scopeFocused optimization sprint
Address one tightly scoped bottleneck or standard integration, with a defined engineering-time cap.
$30,000one-timeSee the scopeScopes are confirmed before work begins. Engineering is optional; work already included in a larger engagement is not billed again. Infrastructure, taxes and ongoing production software rights are separate.
PROJECTSEngineering,
Engineering,
with a delivery.
01$50,000–$100,000one-time project02$150,000–$500,000one-time project03$150,000–$350,000one-time project04$100,000–$350,000one-time project05$200,000–$500,000one-time project06$250,000–$750,000one-time project07$250,000–$750,000one-time project08$150,000–$500,000one-time project
Performance Assessment
Establish a reproducible baseline, locate costly bottlenecks and define the implementation plan.
AI Inference & Long-Context Acceleration
Improve a defined serving workload’s latency, throughput, memory use or cost under accepted quality requirements.
Mixture-of-Experts Routing
Evaluate and improve routing and load balance in a supported mixture-of-experts environment.
GPU Kernel & Pipeline Acceleration
Profile a computational pipeline, tune or replace its bottleneck kernels, and deliver tested implementation changes.
GPU Scheduling & Infrastructure
Implement a resource-allocation workflow addressing capacity, placement restrictions, scheduling and operating policies.
Custom Decision-Optimization Systems
Translate a real planning problem into a supported formulation, integrate customer data and deploy a usable decision workflow.
EDA & Engineering-Workflow Optimization
Improve a defined partitioning, routing or other supported optimization task inside an existing engineering environment.
Hardware & Runtime Migration
Port a supported workload to a specified execution environment and verify correctness and performance on the target.
Integrate the deployment.
01$50,000–$100,000one-time project02$100,000–$200,000one-time project03$150,000–$300,000one-time project04$250,000–$500,000one-time project05$250,000–$750,000one-time project
Focused Workload Qualification
One bounded workload, a comparison baseline, results and an acceptance report.
Single-Application Integration
Integrate one application into a defined environment, test acceptance and complete the operational handover.
Multi-Application Integration
Connect several applications with shared measurements, deployment work and an agreed support boundary.
Complete-Platform Integration
A substantial SpinForge workflow integration with deployment, acceptance testing and documentation.
Embedded / OEM Integration
Partner-product interfaces, packaging, qualification and support handoff. Distribution rights are agreed separately.
Keep improving.
01$15,000–$30,000per month02$40,000–$80,000per month03$75,000–$150,000per month
Performance Assurance
One named system. Scheduled benchmark reviews, regression investigation, monthly findings and a bounded allowance for customer-specific changes.
Continuous Optimization
A defined workload portfolio, prioritized engineering backlog, recurring optimization releases and reserved specialist capacity.
Dedicated Co-Engineering
A staffed engineering program across agreed workstreams, delivery milestones, technical reviews and an implementation roadmap.
These are alternative scopes, not mandatory add-ons. Assessment or integration included in a larger engineering program is not billed again. Continuing engineering is additional customer work, not duplicate payment for included product support.
The legacy Core Suite has 24 priced entries. The current catalog has 64.
The $750,000 annual Core Suite retains seven applications and seventeen specialist tracks. A full all-64 enterprise agreement is separately quoted. New monthly workflow entitlements are proposed, not retroactive.
Inspect all 64 entitlementsCORE SUITE / 24-PRODUCT DEPLOYMENTRoom to expand.
Room to expand.
Rights that stay clear.
01$750,000annual complete-platform license02$1,500,000annual complete-platform license03From $3,000,000annual · explicitly bounded04$500,000indicative annual minimum05$1,500,000indicative annual minimum06By proposalpartner-specific scope
Single site / region
Up to four production deployments; 32 supported GPUs and 512 vCPUs shared in total.
Multi-site / multi-region
Up to three sites or regions; 12 deployments; 96 GPUs and 1,536 vCPUs shared.
Strategic enterprise
Larger capacity, additional sites or broader organizational use.
Selected SpinForge OEM family
Selected capabilities in one defined commercial product line.
Broad SpinForge OEM portfolio
Broad application and solver rights in one defined product line.
Partner backend / other engine rights
Narrow backend distribution, UCS, GarmoForge or UNISOLVE embedding.
The single-site tier is the same $750,000 SpinForge Core Suite package, not another license fee. OEM minima and royalties are alternatives within the negotiated payment structure. Infrastructure, taxes, source transfer, exclusivity and additional work are excluded unless stated.
Need a smaller start? Explore monthly access for a selected, supported workflow. These annual and custom agreements retain their separate scope.
See monthly plansA precise scope.
A considered proposal.
Forge15 and the four AI-infrastructure products have no published numeric rate in this catalog. Each is quoted for its selected release, usage rights, environment, integration and support. These products are not automatically included in the existing SpinForge bundles.
The existing AI Infrastructure package is the six-application Spin product bundle. It does not include StateForge, KX MemoryForge, GridForge or AgentForge unless those rights are added in the agreement.
Forge15
License a single tool, selected methods or an agreed family scope. The 15 tools remain distinct from the 17 new solver tracks.
LatForge
Lattice-basis reduction software with independent checks of the returned basis.
modalg
Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer.
ANNForge
Approximate nearest-neighbor search over large vector collections, with recall checked against exact reference queries.
sketchstream
Streaming frequency and distinct-count estimation designed for large streams with a small memory footprint.
GraphForge
Graph-analysis software for PageRank, connected components and shortest paths, with independent result checks.
SATForge
Boolean satisfiability software with independent rechecking of returned satisfying assignments.
bnb_certified
Exact 0/1 knapsack optimization with a checked optimality conclusion when the supported proof completes.
ValueForge
Markov decision-process computation with a stopping certificate for supported state-value estimates.
krylov_scale
Matrix-free linear-system and extreme-eigenvalue computation with independent true-residual checking.
SpectralForge
Large FFT, convolution and supported spectral-PDE computation with independent consistency checks.
TomoForge
Signal and image reconstruction from noisy linear measurements, with a checked data-fit residual.
sinkhorn_ot
Memory-conscious discrete optimal-transport computation with checks of the source and target marginal constraints.
enkf_scale
Ensemble-based data assimilation that updates a high-dimensional state estimate using incoming observations.
certmc
Monte Carlo estimation with an explicitly stated confidence interval for supported statistical models.
certcount
Log-partition estimation for supported Ising models, with a reported uncertainty interval.
AI infrastructure
Four non-solver products with separate runtime and deployment responsibilities.
StateForge
A GPU-native persistent-state engine connecting supported live-data, computation, indexing, transaction and persistence workflows.
KX MemoryForge
A multi-tier LLM KV-cache runtime for compressing, offloading and restoring cache in a supported memory and storage environment.
GridForge
AI compute-fabric planning software that maps workloads against power, cooling, memory, network and silicon resources.
AgentForge
An operating layer for generating, scheduling, validating, storing and replaying agentic-AI workloads across CPU/GPU infrastructure.
PLAN A SOFTWARE SCOPECompare broader
Compare broader
annual licenses.
Compare nominal catalog inclusion fees. Annual capacity, deployments, users, support and term still need matching in the written proposal. This calculator does not find a revenue-maximizing price.
Illustrative annual software pricing only. Release qualification, deployment limits, compute and integration still apply. UCS, GarmoForge, UNISOLVE, Forge15 and the four infrastructure products are scoped separately.
This calculator compares the existing annual catalog only. It does not select a monthly access plan.
Build a monthly plan insteadINDICATIVE ANNUAL TOTALSelect a capability
Choose one or more offerings to compare software packages.
Discuss this planUNISOLVE / ONE PLATFORM CAPABILITYOne workflow.
One workflow.
Compatible methods included.
UNISOLVE can be activated inside a supported platform workflow, including the applicable shared checking. Its standalone annual rights remain available. The legacy 24-product Core Suite is not an all-64 license.
Plan the workflowEXISTING PRICES. DEFINED SOLUTION SCOPE.Buy the work.
Buy the work.
Not a redundant stack.
These workflows do not add a compulsory subscription or automatically expand existing rights. Select eligible software or request the required integration and operating scope.
Monthly product access Developer $1,000 · Standard $4,000 · Team $8,000 · Scale $12,000.
Focused engineering Guided onboarding $5,000 · Single-workload assessment $15,000 · Focused sprint $30,000.
Original limits and eligibility apply. Customer-hosted software does not include hosted compute; managed operation, training-environment delivery, custom integration and redistribution require their own written scope.
Independent result verification
Start with one checking workflow. Eligible software can use the existing monthly plans. A custom producer adapter, operated checking service, larger proof budget or private rollout is quoted separately. Basic result labels and required checks are not withheld as an upgrade.
AI decision checks
Scope one decision before broad autonomy. Use eligible product access for the agreed model. Custom proposal parsing, agent integration, approval controls and managed operation require a defined service scope. No new blanket per-agent fee is implied.
AI training & evaluation environments
Start with one environment contract. Task design, private datasets, grader integration and environment delivery are quoted by scope. Existing product access is priced separately where required and not billed twice when included in the project.
MCP & agent integrations
Use the access you already license. CLI, MCP and headless are included in the relevant product entitlement—not three separate subscriptions. Guided onboarding is $5,000 for its existing defined scope; a custom agent or directory integration is separately quoted.
Performance & release checks
Baseline once. Compare repeatedly. A workload assessment is $15,000 and a focused sprint is $30,000 within their existing scopes. Ongoing software access, execution infrastructure and continuing engineering are separate unless expressly included in one agreement.
Embedded decision services
One feature. Explicit rights. Prototype access can use an eligible development plan. Customer-facing redistribution, embedded production, custom data adapters and support responsibilities require a named agreement; the monthly internal-use plans do not automatically include resale.
Cloud & infrastructure enablement
Fund the integration. Define the recurring service. Use a partner-specific agreement for milestones, distribution and ongoing rights. Existing SpinForge OEM and engineering ranges remain references for their original scope—not automatic prices for all infrastructure products.
Enterprise purchasing & procurement
An available channel—not an assumed entitlement. The existing product, plan and engineering prices remain unchanged. Commercial terms, any channel charges and eligible purchasing route are confirmed in the order. This is not a new mandatory procurement fee.
Private computational deployments
Start with the deployment you actually need. Existing eligible software plans can cover customer-hosted use at their stated limits. Private installation, offline qualification, additional sites and managed operations require a defined quote; no dedicated hardware is included by default.
DECISION PROGRAMSA useful outcome.
A useful outcome.
A defined delivery.
Commission the model, integration and acceptance work needed for your task. Existing products stay independently available.
01 / Scoped customer program
Explore decision programs Explain & repair a constrained plan
Commission one supported decision model, a scoped conflict analysis and a comparison of permitted repairs.
02 / Scoped customer programMaintain a recurring decision
Commission a revision-aware workflow that keeps models, assumptions, results and evidence connected as inputs change.
03 / Scoped customer programImprove a computational workflow
Commission a bounded performance improvement with source identity, numerical acceptance and the appropriate checking evidence.
WHOLE-SYSTEM OPTIMIZATIONThe connection
The connection
can change the result.
Joint configuration, decision-sensitive computation, checked memory, useful future options, exact reformulation and evidence-led improvement. Explore the role of every product and agree a matched system evaluation.
Customer-specific integration opportunities—not added software entitlements or universal performance claims.
Existing products.
An explicit scope.
All eleven synthesis products, SpinForge Bio, SpinForge Bench and SpinForge Discovery Core are part of the current catalog. No unapproved per-product fee has been added. A workflow agreement identifies the required application and engine rights once; infrastructure, integration and extended support remain explicit.