A model-first workflow
Submit the supported file through solve-any or MCP solve_any. Compatible dispatch or racing reduces the need to wire each profile separately.
UNISOLVE / SOURCE-PRESERVING SOLVING
One request.
A checked result.
A native solver library, headless command-line program and MCP server that accepts supported models, selects compatible engines and independently checks accepted answers.
An independent engine family within SpinForge. Not a replacement for GARMO UCS, GarmoForge or the specialist portfolio.
UNISOLVE82 profiles
Source.
Preserved.
Preserved.
INTEGRITY ≠ OPTIMALITY↗
Customer outcomeBuild better plans and decisions ↗
UNISOLVE / CURRENT SOURCE G82 profiles.
82 profiles.
13 problem families.
65distinct solver entry functions
133public Python exports
38CLI operations
9stdio MCP tools
260 runtime/data files. The same 14,935 test IDs were exercised on Mac and existing Brev hardware. Profile count is not a count of separate invented algorithms.
Read the current source-bound evidence See application modelsCURRENT INVENTORY / CUSTOMER CAPABILITIESBring more requirements.
Bring more requirements.
Keep one entry point.
Eighty-two registered profiles in the reported candidate within one UNISOLVE product. Each accepted answer receives a solver-specific check and generic certificate verification.
Schedules that reflect choices
Model admitted optional work, variable durations and demands, and resource calendars. The original schedule and selected frontend determine the actual scope.
Exact mathematical answers
Retain supported irrational optima and separately checked logical or polynomial conclusions instead of replacing them with rounded numerical claims.
Revisions with accountable reuse
Use LinearSession to revise admitted linear models. Reuse only independently checked bounds under preservation rules, with a new original-model attaining witness.
THE PRODUCT, IN PRACTICE
One request.
A checked result.
UNISOLVE preserves the original model, chooses or combines compatible mathematical capabilities, rechecks candidates and replays the evidence needed for the claimed conclusion. The current source-G account describes 82 profiles across 13 problem families, supported reoptimization and recovery, and a source-bound test campaign. Profiles are not additional commercial products.
- BUILT FOR
- Optimization, engineering-software and verification teams that need supported model intake, solving and independently checkable results.
CHALLENGES → PRODUCT RESPONSEThe problem you face.
The problem you face.
What the product changes.
YOUR CHALLENGEWITH UNISOLVE
Engine selection adds integration work
Different problem files and solving methods can require several separate entry points before a team obtains a useful result.
Use solve-any or MCP solve_any to detect the input and dispatch or race compatible engines. Every accepted answer receives solver-specific and generic checks.
Real requirements change the model
Optional work, variable resources or exact irrational values need a representation that preserves what the customer actually asked.
Use the admitted scheduling, algebraic and logical paths. Preserve original constraints and exact result interpretation while keeping format and proof boundaries explicit.
Old evidence does not automatically prove a revised answer
Adding or relaxing requirements can change which earlier results and bounds remain valid.
LinearSession supports current-original reoptimization. Checked bound transfer requires preserved parent domains, objective and rows, plus a fresh witness attaining that bound.
WHAT YOU GETA defined capability.
A defined capability.
A useful result.
One solve-and-check entry
Compatible-engine dispatch or racing through CLI solve-any, Python or the stdio MCP solve_any tool.
Broader supported models
Optional/variable scheduling, exact irrational values, admitted logical fragments and guarded tour solving.
Results with distinct evidence
Candidate and objective outputs, solver-specific and generic checks, and durable certificates with digest and verification reports.
Revision-aware model work
LinearSession changes, checked warm starts, snapshots and conditional bound reuse under documented preservation rules.
AVAILABLE NOWOne product.
One product.
Three ways to work.
UNISOLVE 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
Revise a constrained plan without losing its evidence
A team revises an admitted linear or scheduling model and needs to distinguish a useful candidate from independently verified completion.
Illustrative use of the supported scope, not a customer case study or a measured result.- 01
Agree the source format, admitted requirements, environment, budget and evidence level.
- 02
Use solve-any or MCP solve_any for the original problem; use the applicable session API for supported revisions.
- 03
Review each current-original candidate and its checks. Transfer a prior bound only when preservation and new witness conditions hold.
FIT & ACCEPTANCEStart with the task.
Start with the task.
Agree the useful outcome.
- What you bring
- The original problem file, admitted model class, execution environment, time and resource budget, and required result or proof-completion level.
- What a useful evaluation measures
- +Time to an accepted, checked result
- +Preservation of the original requirements and revision
- +The exact result property established by the evidence
- Delivery
- License the selected capability, commission an implementation, or agree an operated service. Infrastructure and additional engineering are specified separately.
QUESTIONS BEFORE BUYINGA clear scope.
A clear scope.
A clear relationship.
What is the important boundary?−
The current source-G suite reports 14,894 Mac and 14,920 Brev passes across the same 14,935 test IDs, with skips retained. Native, numerical, local, approximate and complete global conclusions remain distinct. An optimum proves the declared model, not every real-world condition. Physical multi-GPU performance and a hosted multiuser security sandbox are not established.
How is it priced?+
No new standalone price is supplied for this product; request a scoped proposal. The platform plans buy qualified workflows and capacity, not a second charge every time a compatible method is selected. Existing bundle inclusions do not expand automatically.
How do we get access?+
Fully available with CLI, MCP and headless access. Runtime requirements, supported operations and license scope remain product-specific.
SOFTWARE / 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 UNISOLVE 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 UNISOLVE.
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.
A useful outcome.
A defined delivery.
Commission the model, integration and acceptance work needed for your task. Existing products stay independently available.
01 / Scoped customer program
Explore decision programs Explain & repair a constrained plan
Commission one supported decision model, a scoped conflict analysis and a comparison of permitted repairs.
02 / Scoped customer programMaintain a recurring decision
Commission a revision-aware workflow that keeps models, assumptions, results and evidence connected as inputs change.
START WITH THIS PRODUCT
Use the software directly or ask us to scope the implementation.