The starting basis is difficult to work with
A usable analysis can depend on improving the representation of the lattice before the next computation.
LatForge takes a supported basis and returns a reduced one for subsequent mathematical work.
FORGE15 / 01 / NUMBER THEORY & CRYPTOThe full offering
LatForge.
Lattice-basis reduction software with independent checks of the returned basis.
Discuss LatForgeCustomer outcomeDesign and discover ↗
THE PRODUCT, IN PRACTICE
Work with a better basis.
Keep the mathematics accountable.
A lattice basis can be valid yet awkward for the number-theory or cryptography analysis that follows. LatForge produces a reduced basis and supplies an independent checking path, so the researcher can assess the result rather than trust an unchecked transformation. The tool belongs in a mathematical analysis workflow; it is not an encryption product or a claim to break a deployed cryptosystem.
- BUILT FOR
- Number-theory researchers and post-quantum cryptography analysis teams.
CHALLENGES → PRODUCT RESPONSEThe problem you face.
The problem you face.
What LatForge changes.
A plausible output still needs verification
A shorter-looking basis alone does not establish that the required reduction properties hold.
The independent checking workflow tests the stated reduction conditions and the applicable evidence about the relationship to the input lattice.
Larger dimensions change the execution cost
A result at a small dimension does not predict whether a larger workload will fit its runtime budget.
LatForge can be evaluated on the customer’s basis dimensions and limits, with achieved reduction and elapsed time assessed together.
WHAT YOU GETA defined capability.
A defined capability.
A useful output.
The product scope below describes the capability and outputs to confirm for your release. Custom integration, operated delivery and additional engineering are separately agreed.
A reduction tool
Executable lattice-basis reduction for the supported inputs.
A reduced basis
The selected output basis for downstream mathematical analysis.
Independent checking
The supplied checker for the stated reduction properties and associated arithmetic.
A qualification target
A clearly defined input dimension, execution budget and required result evidence.
AVAILABLE NOWOne product.
One product.
Three ways to work.
LatForge is fully available with CLI, MCP and headless access. Use the interface that fits your terminal, your agents or your automated workflow.
For your terminal.
Run the product from a terminal or script, alongside the tools your team already uses.
Get CLI accessFor your agents.
Connect MCP-compatible clients and agents to the product’s exposed capabilities.
Get MCP accessFor your workflows.
Operate without a graphical interface in unattended, scheduled or pipeline-driven work.
Set up headless accessProduct-specific inputs, hardware requirements and result guarantees still apply. An access mode does not change your license or deployment scope.
Explore all product interfacesEXAMPLE CUSTOMER WORKFLOW
Prepare a lattice-analysis experiment
A researcher needs to reduce a collection of supported bases before comparing the next stage of an analysis.
Illustrative use of the supported scope, not a customer case study or a measured result.- 01
Provide the bases and reduction requirements.
- 02
Run the tool within the chosen budget and retain its returned basis.
- 03
Independently check the required properties before using that basis downstream.
IN YOUR WORKFLOWStart with your task.
Start with your task.
Agree the useful outcome.
Number-theory researchers and post-quantum cryptography analysis teams.
- What you bring
- The lattice basis, supported reduction requirements, dimensions and execution limits.
- What a useful evaluation measures
- The checked reduction properties
- Achieved basis quality within the budget
- Validity of the input-to-output evidence
- Where it fits
- Use the selected product in a qualified customer environment, or agree a defined implementation with SpinForge. A hosted or managed service is quoted for its actual operating responsibilities; it is not automatically included with software access.
QUESTIONS BEFORE YOU BUYA clear scope.
A clear scope.
No hidden assumptions.
How can we use LatForge?
CLI, MCP and headless access are all available. Run from a terminal or script, connect an MCP-compatible client, or use the product without a graphical interface. Choose the mode during onboarding and receive its setup instructions. Runtime requirements and supported operations remain product-specific.
What is the important product boundary?
Reduction does not guarantee an exact shortest vector. The supplied campaign reached a 90-second cap at dimension 64. A matching determinant alone does not prove lattice equivalence; that claim requires the corresponding relationship evidence.
What comes with the selected license?
The agreed LatForge release, its supported interfaces and outputs, the applicable checks and the support stated in your order. The plan defines users, workflow, environment and capacity. Source-code transfer, unrestricted redistribution and bespoke engineering are not automatically included.
Can SpinForge implement or operate it for us?
Request a scoped engineering or operated-service proposal. It identifies what our team delivers, where the workload runs, infrastructure costs, acceptance requirements and ongoing support. Your software subscription alone does not activate a hosted runtime.
Explore engineeringWhat evidence is available for review?
P48 / Company-reported. The supplied campaign reports dimension-dependent reduction time and a 90-second cap at dimension 64. The result checking was strengthened after a numerical issue was identified. These are reported campaign results, not a new evaluation of your basis.
These descriptions come from the supplied product and campaign material. Website checks are not an independent rerun of the engine. Qualification identifies the actual release, workload and available artifacts.
Read the evidence summarySOFTWARE / OPERATED DELIVERYBy proposal
Customer-hosted access and a service operated by SpinForge are different scopes. Confirm the release, deployment and included support before activation.
Plans & deliveryPUT LATFORGE TO WORK
Tell us what needs to improve.
Bring a representative workload and the result your team needs. We’ll define the product, deployment and engineering scope around that task.
Related products, workflows and system connections +
ONE PLATFORM / OR A DIRECT PURCHASEChecked Decisions
Checked Decisions
with LatForge.
Activate this capability inside a qualified checked decisions workflow. Compatible methods and required shared checking are included once within that workflow; the product remains independently purchasable.
Capacity, release, environment, result contract and operating responsibilities are specified before activation. Choosing an additional method is not permission to add an unrelated workload or unqualified deployment.
Explore Checked Decisions Choose workflow capacityFROM PRODUCT TO CUSTOMER WORKFLOWA useful outcome.
Explore decision programs A useful outcome.
A defined delivery.
Commission the model, integration and acceptance work needed for your task. Existing products stay independently available.
START WITH THIS PRODUCT
Use the software directly or ask us to scope the implementation.