Skip to content

THE FULL PRODUCT PORTFOLIOSPINFORGE / A GARMO LABS COMPANY

Find the product
you need.

Seven applications, three core platforms, four infrastructure products, fifteen unchanged Forge15 modules, twenty-one Garmo Solvers modules, eleven synthesis products, and Bench, Bio and Discovery Core. Families, workspaces and research records are not counted twice.

Choose a customer starting point Talk about your workload

Not sure which product fits? Start with your outcome

FIND YOUR CAPABILITY

Start with the job.

Search the portfolioProduct family64 entries

SpinForge + Atlas

Optimization software for turning a supported decision model into a checked candidate solution, with execution planning included.

SpinRoute

QUBO-based inference routing for supported cache-locality and mixture-of-experts load-balancing workflows.

SpinMem

Optimal data-placement software for memory-bound LLM inference across L2, HBM, CXL and NVMe.

SpinKernel

GPU kernel optimization as a QUBO, with supported configuration selection and code generation.

SpinSovereign

Turnkey sovereign-AI infrastructure with supported compliance and placement rules expressed as QUBO constraints.

SpinProof

AI-performance assessment software that profiles a workload, prioritizes optimization changes and checks their effect on model quality.

SpinCache

KV-cache compression and direct-decode software for supported long-context LLM serving.

GARMO UCS

A native constraint-search engine for supported logical, integer and engineering decision models.

GarmoForge

Structure-aware optimization software for selecting a supported solving approach and improving or repairing candidate decisions.

UNISOLVE

One headless solver platform for compatible method selection, mixed-capability solving and source-bound result checks.

↗AI infrastructure

StateForge

A GPU-native persistent-state engine connecting supported live-data, computation, indexing, transaction and persistence workflows.

↗AI infrastructure

KX MemoryForge

A multi-tier LLM KV-cache runtime for compressing, offloading and restoring cache in a supported memory and storage environment.

↗AI infrastructure

GridForge

AI compute-fabric planning software that maps workloads against power, cooling, memory, network and silicon resources.

↗AI infrastructure

AgentForge

An operating layer for generating, scheduling, validating, storing and replaying agentic-AI workloads across CPU/GPU infrastructure.

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 derivative-pricing and transport-integral estimates with a confidence interval.

certcount

Log-partition estimation for supported Ising models, with a reported uncertainty interval.

SpinForge Warp

Differentiable annealing that lets a learning workflow backpropagate through optimization.

AMDE + ALCHEMI

Physics-grounded drug-discovery scoring through GPU molecular dynamics.

Neural Schedule

Learned temperature schedules for annealing through a Fourier neural operator.

GARMO Scientist

An autonomous discovery product organized around perceive → hypothesize → experiment → learn.

Annealed Splatting

Hybrid 3D reconstruction using annealing for structure and gradients for parameters.

QC Bridge

A quantum–classical optimization bridge for warm starts, validation and hybrid workflows.

Gödel Optimizer

A self-evolving optimizer that improves its optimization algorithms.

Materials Factory

A self-improving materials-data pipeline built on the SpinForge core.

Embodied Optimizer

Physical optimization in which a robot solves combinatorial problems.

Token Factory

GPU-fleet scheduling formulated as a QUBO to maximize tokens per watt.

Recursive Engine

The synthesis meta-system through which its eleven products improve one another.

SpinForge Discovery Core

The shared computational engine behind AMDE and SpinForge Bio.

SpinForge Bio

Protein binder design producing a ranked candidate panel for downstream synthesis and evaluation.

↗Benchmark product

SpinForge Bench

A distinct offering focused on certified Gset optimality.

↗Garmo Solvers

MaxSAT

Satisfy hard clauses while optimizing weighted soft requirements.

↗Garmo Solvers

CertCut

Solve Max-Cut/Ising problems with independently checkable optimality evidence where completed.

↗Garmo Solvers

CP

Constraint programming for supported XCSP3 models and scheduling.

↗Garmo Solvers

Partition

Divide a supported graph or hypergraph while evaluating its partition objective.

↗Garmo Solvers

VRP

Plan vehicle routes under supported CVRP and VRPTW requirements.

↗Garmo Solvers

SMT

Check supported bit-vector and integer-arithmetic requirements.

↗Garmo Solvers

Router

Select compatible computational backends, race them and apply execution guards.

↗Garmo Solvers

QBF

Solve quantified Boolean formulas with their quantifier order retained.

↗Garmo Solvers

TSP

Find tours for supported traveling-salesman problems.

↗Garmo Solvers

Presolve

Preprocess supported CNF before MaxSAT execution.

↗Garmo Solvers

Conic

Solve supported linear, quadratic and second-order-cone models.

↗Garmo Solvers

CertOT

Solve optimal-transport and assignment problems with the appropriate checks.

↗Garmo Solvers

MINLP

Evaluate supported mixed-integer nonlinear models from OSiL/PIP inputs.

↗Garmo Solvers

CertBQP

Optimize binary quadratic choices subject to linear constraints.

↗Garmo Solvers

certnum

One product for certified MDP values, partition-function bounds and model counting.

↗Garmo Solvers

MIP

Select a mixed-integer programming path for a supported constrained model.

↗Garmo Solvers

Krylov

Solve matrix-free linear systems with a recomputed true-residual certificate.

↗Garmo Solvers

HOBO

Optimize higher-order binary models with three- and four-body terms.

↗Garmo Solvers

Toroidal

Solve supported toroidal and planar spin-glass instances exactly.

↗Garmo Solvers

Batch

Execute thousands of supported tiny QUBO or SAT instances in a batch.

↗Garmo Solvers

Unroute

Prove early when a supported routing or flow problem cannot be routed.

YOUR NEXT MOVELET’S MAKE IT COUNT

Put it
to work.

One capability. A connected workflow.
A team to put it into practice.

patrick@garmolabs.com