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 checksAvailable nowAll 15 Forge15 tools are available with CLI, MCP and headless access.
View interfacesDifferent 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.
LatForge
Available nowCLIMCPHeadless
Lattice-basis reduction software with independent checks of the returned basis.
Independent checking of the stated basis-reduction properties and the required input-to-output evidence.
modalg
Available nowCLIMCPHeadless
Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer.
Independent exact-arithmetic checking of the determinant or solve result for the supported input.
ANNForge
Available nowCLIMCPHeadless
Approximate nearest-neighbor search over large vector collections, with recall checked against exact reference queries.
Recall@k compared with exact reference search on the qualification queries.
sketchstream
Available nowCLIMCPHeadless
Streaming frequency and distinct-count estimation designed for large streams with a small memory footprint.
The selected frequency or distinct-count estimate is assessed under its corresponding error assumptions and reference checks.
GraphForge
Available nowCLIMCPHeadless
Graph-analysis software for PageRank, connected components and shortest paths, with independent result checks.
Algorithm-specific independent checks for the returned ranking, component or path result.
SATForge
Available nowCLIMCPHeadless
Boolean satisfiability software with independent rechecking of returned satisfying assignments.
Every returned satisfying assignment is checked against all the original clauses.
bnb_certified
Available nowCLIMCPHeadless
Exact 0/1 knapsack optimization with a checked optimality conclusion when the supported proof completes.
Check the item selection, capacity, objective and the evidence supporting an optimum when the proof completes.
ValueForge
Available nowCLIMCPHeadless
Markov decision-process computation with a stopping certificate for supported state-value estimates.
Assess the state-value result using the supported error certificate and reference cases.
krylov_scale
Available nowCLIMCPHeadless
Matrix-free linear-system and extreme-eigenvalue computation with independent true-residual checking.
Recompute the true residual of the numerical candidate against the supported original problem.
SpectralForge
Available nowCLIMCPHeadless
Large FFT, convolution and supported spectral-PDE computation with independent consistency checks.
Apply independent numerical consistency and accepted reference checks to the selected spectral operation.
TomoForge
Available nowCLIMCPHeadless
Signal and image reconstruction from noisy linear measurements, with a checked data-fit residual.
Independently check how well the reconstructed signal fits the supplied linear measurements.
sinkhorn_ot
Available nowCLIMCPHeadless
Memory-conscious discrete optimal-transport computation with checks of the source and target marginal constraints.
Check agreement with the source and target marginal constraints at the chosen numerical tolerance.
enkf_scale
Available nowCLIMCPHeadless
Ensemble-based data assimilation that updates a high-dimensional state estimate using incoming observations.
Apply release-specific state-update checks and compare with an accepted reference on qualification models.
certmc
Available nowCLIMCPHeadless
Monte Carlo estimation with an explicitly stated confidence interval for supported statistical models.
Review the confidence assumptions and compare with a known reference where available; interval coverage remains statistical.
certcount
Available nowCLIMCPHeadless
Log-partition estimation for supported Ising models, with a reported uncertainty interval.
Compare tractable reference cases with exact enumeration and interpret the reported interval under its declared assumptions.
No tools match those filters.
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.
Upgrade links identify the lineage supplied by SpinForge. They do not grant an automatic license upgrade or establish completed migration compatibility.
One tool.
Or a considered collection.
Forge15 pricing is by proposal. Select the methods, execution environment, certificate requirements and support that fit your work.
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.