--- title: Forge15 | SpinForge url: https://spin-forge.com/forge15 description: Fifteen specialized tools spanning exact algebra, search, logic, numerical computing and probability. Each is designed around a fast GPU path and a separate… --- FORGE15 / FIFTEEN GPU TOOLS [The full offering](https://spin-forge.com/platform) # Fast work. Independently checked. Fifteen specialized tools spanning exact algebra, search, logic, numerical computing and probability. Each is designed around a fast GPU path and a separate check of the returned result. [Explore the checks](https://spin-forge.com/forge15/verification) Available now All 15 Forge15 tools are available with CLI, MCP and headless access. [View interfaces](https://spin-forge.com/developers?section=access-directory) ## Different mathematics. One discipline. The computation and the check are different jobs. Forge15 keeps that distinction explicit, whether the output is an exact integer, a feasible assignment, a numerical residual or a statistical estimate. The certificate property and execution evidence differ by tool. The June–August campaign is reported by SpinForge; it is not a fresh benchmark performed by this website. Find a tool or method Discipline 15 tools [01 Number theory & crypto ## LatForge Available now CLI MCP Headless Lattice-basis reduction software with independent checks of the returned basis. INDEPENDENT CHECK Independent checking of the stated basis-reduction properties and the required input-to-output evidence.](https://spin-forge.com/forge15/latforge) [02 Number theory & crypto ## modalg Available now CLI MCP Headless Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer. INDEPENDENT CHECK Independent exact-arithmetic checking of the determinant or solve result for the supported input.](https://spin-forge.com/forge15/modalg) [03 Search & data ## ANNForge Available now CLI MCP Headless Approximate nearest-neighbor search over large vector collections, with recall checked against exact reference queries. INDEPENDENT CHECK Recall@k compared with exact reference search on the qualification queries.](https://spin-forge.com/forge15/annforge) [04 Search & data ## sketchstream Available now CLI MCP Headless Streaming frequency and distinct-count estimation designed for large streams with a small memory footprint. INDEPENDENT CHECK The selected frequency or distinct-count estimate is assessed under its corresponding error assumptions and reference checks.](https://spin-forge.com/forge15/sketchstream) [05 Search & data ## GraphForge Available now CLI MCP Headless Graph-analysis software for PageRank, connected components and shortest paths, with independent result checks. INDEPENDENT CHECK Algorithm-specific independent checks for the returned ranking, component or path result.](https://spin-forge.com/forge15/graphforge) [06 Logic & optimization ## SATForge Available now CLI MCP Headless Boolean satisfiability software with independent rechecking of returned satisfying assignments. INDEPENDENT CHECK Every returned satisfying assignment is checked against all the original clauses.](https://spin-forge.com/forge15/satforge) [07 Logic & optimization ## bnb_certified Available now CLI MCP Headless Exact 0/1 knapsack optimization with a checked optimality conclusion when the supported proof completes. INDEPENDENT CHECK Check the item selection, capacity, objective and the evidence supporting an optimum when the proof completes.](https://spin-forge.com/forge15/bnb-certified) [08 Logic & optimization ## ValueForge Available now CLI MCP Headless Markov decision-process computation with a stopping certificate for supported state-value estimates. INDEPENDENT CHECK Assess the state-value result using the supported error certificate and reference cases.](https://spin-forge.com/forge15/valueforge) [09 Numerical computing ## krylov_scale Available now CLI MCP Headless Matrix-free linear-system and extreme-eigenvalue computation with independent true-residual checking. INDEPENDENT CHECK Recompute the true residual of the numerical candidate against the supported original problem.](https://spin-forge.com/forge15/krylov-scale) [10 Numerical computing ## SpectralForge Available now CLI MCP Headless Large FFT, convolution and supported spectral-PDE computation with independent consistency checks. INDEPENDENT CHECK Apply independent numerical consistency and accepted reference checks to the selected spectral operation.](https://spin-forge.com/forge15/spectralforge) [11 Numerical computing ## TomoForge Available now CLI MCP Headless Signal and image reconstruction from noisy linear measurements, with a checked data-fit residual. INDEPENDENT CHECK Independently check how well the reconstructed signal fits the supplied linear measurements.](https://spin-forge.com/forge15/tomoforge) [12 Numerical computing ## sinkhorn_ot Available now CLI MCP Headless Memory-conscious discrete optimal-transport computation with checks of the source and target marginal constraints. INDEPENDENT CHECK Check agreement with the source and target marginal constraints at the chosen numerical tolerance.](https://spin-forge.com/forge15/sinkhorn-ot) [13 Numerical computing ## enkf_scale Available now CLI MCP Headless Ensemble-based data assimilation that updates a high-dimensional state estimate using incoming observations. INDEPENDENT CHECK Apply release-specific state-update checks and compare with an accepted reference on qualification models.](https://spin-forge.com/forge15/enkf-scale) [14 Probability & counting ## certmc Available now CLI MCP Headless Monte Carlo estimation with an explicitly stated confidence interval for supported statistical models. INDEPENDENT CHECK Review the confidence assumptions and compare with a known reference where available; interval coverage remains statistical.](https://spin-forge.com/forge15/certmc) [15 Probability & counting ## certcount Available now CLI MCP Headless Log-partition estimation for supported Ising models, with a reported uncertainty interval. INDEPENDENT CHECK Compare tractable reference cases with exact enumeration and interpret the reported interval under its declared assumptions.](https://spin-forge.com/forge15/certcount) CONTINUITY, NOT DUPLICATION ## From an established tool. To its next track. Four Forge15 tools have explicit successors in the new solver suite. Explore the relevant upgrade without mistaking it for an unrelated product. [ValueForge certnum: MDP](https://spin-forge.com/solvers/certnum) [krylov_scale Krylov](https://spin-forge.com/solvers/krylov) [sinkhorn_ot CertOT](https://spin-forge.com/solvers/certot) [certcount certnum: log-Z](https://spin-forge.com/solvers/certnum) Upgrade links identify the lineage supplied by SpinForge. They do not grant an automatic license upgrade or establish completed migration compatibility. LICENSE THE RIGHT SCOPE ## One tool. Or a considered collection. Forge15 pricing is by proposal. Select the methods, execution environment, certificate requirements and support that fit your work. [Discuss Forge15](https://spin-forge.com/contact?product=forge15) [Licensing options](https://spin-forge.com/licensing?tab=forge) [Explore AI infrastructure](https://spin-forge.com/infrastructure) 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.