--- title: Products, Forge15 & infrastructure | SpinForge url: https://spin-forge.com/products description: Seven original applications, fifteen Forge15 tools and four AI-infrastructure products. Explore a focused capability or a coordinated workflow, with each… --- THE SPINFORGE COLLECTION # Precision has many forms. Seven original applications, fifteen Forge15 tools and four AI-infrastructure products. Explore a focused capability or a coordinated workflow, with each product’s role kept distinct. EXISTING PRODUCTS / EXPANDED INVENTORY ## See the complete family. [SYNTHESIS ### 11 real products Three layers, with Recursive Engine as the meta-system.](https://spin-forge.com/synthesis) [DISCOVERY ### Core, applications & Bench A shared Discovery Core for AMDE and Bio; a separate certified Gset offering.](https://spin-forge.com/discovery) [COMPLETE CATALOG ### 64 named entries Current modules, corrected lineage and explicit product relationships.](https://spin-forge.com/catalog) Available now All 64 products are available with CLI, MCP and headless access. [View interfaces](https://spin-forge.com/developers?section=access-directory) [Applications](https://spin-forge.com/products) [GARMO UCS](https://spin-forge.com/ucs) [GarmoForge](https://spin-forge.com/garmoforge) [21 Garmo Solvers modules](https://spin-forge.com/solvers) [Packages & licensing](https://spin-forge.com/pricing) [Forge15](https://spin-forge.com/forge15) [AI infrastructure](https://spin-forge.com/infrastructure) THE APPLICATIONS ## Different work. Distinct instruments. From the decisions you make to the models you serve. Find the software for the part that matters. 7 applications shown [01 / Discrete optimization Solve.](https://spin-forge.com/spinforge) ### [SpinForge + Atlas](https://spin-forge.com/spinforge) Available now CLI MCP Headless Optimization software for turning a supported decision model into a checked candidate solution, with execution planning included. [Inside SpinForge + Atlas](https://spin-forge.com/spinforge) [02 / AI expert routing Route.](https://spin-forge.com/spinroute) ### [SpinRoute](https://spin-forge.com/spinroute) Available now CLI MCP Headless Expert-routing and load-balancing software for mixture-of-experts AI serving. [Inside SpinRoute](https://spin-forge.com/spinroute) [03 / KV-cache & memory placement Place.](https://spin-forge.com/spinmem) ### [SpinMem](https://spin-forge.com/spinmem) Available now CLI MCP Headless KV-cache and memory-tier placement software, supplied with a service interface and a vLLM integration hook. [Inside SpinMem](https://spin-forge.com/spinmem) [04 / GPU kernel autotuning Tune.](https://spin-forge.com/spinkernel) ### [SpinKernel](https://spin-forge.com/spinkernel) Available now CLI MCP Headless GPU kernel autotuning and code-generation software for supported Triton tile configurations. [Inside SpinKernel](https://spin-forge.com/spinkernel) [05 / Sovereign-cloud GPU scheduling Schedule.](https://spin-forge.com/spinsovereign) ### [SpinSovereign](https://spin-forge.com/spinsovereign) Available now CLI MCP Headless GPU scheduling software that brings resource-placement policies, attestation and deployment records into the allocation workflow. [Inside SpinSovereign](https://spin-forge.com/spinsovereign) [06 / AI acceleration & model assurance Verify.](https://spin-forge.com/spinproof) ### [SpinProof](https://spin-forge.com/spinproof) Available now CLI MCP Headless AI-performance assessment software that profiles a workload, prioritizes optimization changes and checks their effect on model quality. [Inside SpinProof](https://spin-forge.com/spinproof) [07 / Long-context KV-cache compression Compress.](https://spin-forge.com/spincache) ### [SpinCache](https://spin-forge.com/spincache) Available now CLI MCP Headless KV-cache compression and direct-decode software for supported long-context LLM serving. [Inside SpinCache](https://spin-forge.com/spincache) BETTER TOGETHER ### Certified long-context inference. SpinCache brings compression. SpinProof checks its effect on your model. Available together, with each application also licensed individually. [Discuss the combined offer](https://spin-forge.com/contact?product=long-context) FORGE15 / THE MATHEMATICAL TOOLS ## Compute quickly. Check independently. From a lattice basis to a billion-edge graph. Fifteen tools across five disciplines, with exact, numerical and statistical checks kept distinct. NUMBER THEORY & CRYPTO [LatForge](https://spin-forge.com/forge15/latforge) [modalg](https://spin-forge.com/forge15/modalg) SEARCH & DATA [ANNForge](https://spin-forge.com/forge15/annforge) [sketchstream](https://spin-forge.com/forge15/sketchstream) [GraphForge](https://spin-forge.com/forge15/graphforge) LOGIC & OPTIMIZATION [SATForge](https://spin-forge.com/forge15/satforge) [bnb_certified](https://spin-forge.com/forge15/bnb-certified) [ValueForge](https://spin-forge.com/forge15/valueforge) NUMERICAL COMPUTING [krylov_scale](https://spin-forge.com/forge15/krylov-scale) [SpectralForge](https://spin-forge.com/forge15/spectralforge) [TomoForge](https://spin-forge.com/forge15/tomoforge) [sinkhorn_ot](https://spin-forge.com/forge15/sinkhorn-ot) [enkf_scale](https://spin-forge.com/forge15/enkf-scale) PROBABILITY & COUNTING [certmc](https://spin-forge.com/forge15/certmc) [certcount](https://spin-forge.com/forge15/certcount) [Explore the fifteen tools](https://spin-forge.com/forge15) [Understand the checks](https://spin-forge.com/forge15/verification) AI INFRASTRUCTURE ## The layers around intelligent work. Four separate products for the state, memory, resources and operations that AI workloads depend on. [01 ### StateForge Available now CLI MCP Headless A GPU-native persistent-state engine connecting supported live-data, computation, indexing, transaction and persistence workflows.](https://spin-forge.com/stateforge) [02 ### KX MemoryForge Available now CLI MCP Headless A multi-tier LLM KV-cache runtime for compressing, offloading and restoring cache in a supported memory and storage environment.](https://spin-forge.com/kx-memoryforge) [03 ### GridForge Available now CLI MCP Headless AI compute-fabric planning software that maps workloads against power, cooling, memory, network and silicon resources.](https://spin-forge.com/gridforge) [04 ### AgentForge Available now CLI MCP Headless An operating layer for generating, scheduling, validating, storing and replaying agentic-AI workloads across CPU/GPU infrastructure.](https://spin-forge.com/agentforge) [Explore the infrastructure portfolio](https://spin-forge.com/infrastructure) ANOTHER INDEPENDENT ENGINE ## More models. A clear proof boundary. UNISOLVE adds source-preserving imports, supported logical and algebraic analysis, and independent checking. The seven applications retain their own identities. [Explore the scope](https://spin-forge.com/unisolve) WHOLE-SYSTEM OPTIMIZATION ## 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. [Explore all six connections](https://spin-forge.com/system-synergies) [64-entry interaction map](https://spin-forge.com/system-synergies/product-map) Customer-specific integration opportunities—not added software entitlements or universal performance claims.