--- title: UNISOLVE: Headless Solver Platform with Result Checks | SpinForge url: https://spin-forge.com/unisolve description: A native solver library, headless command-line program and MCP server that accepts supported models, selects compatible engines and independently checks… --- 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. [Explore the input formats](https://spin-forge.com/unisolve/formats) [Discuss your workflow](https://spin-forge.com/contact?product=unisolve) An independent engine family within SpinForge. Not a replacement for GARMO UCS, GarmoForge or the specialist portfolio. UNISOLVE 82 profiles Source. Preserved. INTEGRITY ≠ OPTIMALITY Customer outcome [Build better plans and decisions](https://spin-forge.com/platform/checked-decisions) UNISOLVE / CURRENT SOURCE G ## 82 profiles. 13 problem families. 65 distinct solver entry functions 133 public Python exports 38 CLI operations 9 stdio 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](https://spin-forge.com/unisolve/validation) [See application models](https://spin-forge.com/unisolve/applications) Available now CLI MCP Headless Choose your access mode CURRENT INVENTORY / CUSTOMER CAPABILITIES ## 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. 01 ### 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. 02 ### 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. 03 ### Exact mathematical answers Retain supported irrational optima and separately checked logical or polynomial conclusions instead of replacing them with rounded numerical claims. 04 ### 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. [Use the unified entry](https://spin-forge.com/unisolve/developers) [Explore scope and sessions](https://spin-forge.com/unisolve/runtime) [Review release evidence](https://spin-forge.com/unisolve/validation) 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 RESPONSE ## The problem you face. What the product changes. YOUR CHALLENGE WITH UNISOLVE 01 ### 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. 02 ### 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. 03 ### 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 GET ## A defined capability. A useful result. 01 ### One solve-and-check entry Compatible-engine dispatch or racing through CLI solve-any, Python or the stdio MCP solve_any tool. 02 ### Broader supported models Optional/variable scheduling, exact irrational values, admitted logical fragments and guarded tour solving. 03 ### Results with distinct evidence Candidate and objective outputs, solver-specific and generic checks, and durable certificates with digest and verification reports. 04 ### Revision-aware model work LinearSession changes, checked warm starts, snapshots and conditional bound reuse under documented preservation rules. AVAILABLE NOW ## 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. 01 / CLI ### For your terminal. Run the product from a terminal or script, alongside the tools your team already uses. [Get CLI access](https://spin-forge.com/contact?product=unisolve&interface=cli&brief=I+would+like+UNISOLVE+access+through+CLI.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) 02 / MCP ### For your agents. Connect MCP-compatible clients and agents to the product’s exposed capabilities. [Get MCP access](https://spin-forge.com/contact?product=unisolve&interface=mcp&brief=I+would+like+UNISOLVE+access+through+MCP.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) 03 / HEADLESS ### For your workflows. Operate without a graphical interface in unattended, scheduled or pipeline-driven work. [Set up headless access](https://spin-forge.com/contact?product=unisolve&interface=headless&brief=I+would+like+UNISOLVE+access+through+headless.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) Product-specific inputs, hardware requirements and result guarantees still apply. An access mode does not change your license or deployment scope. [Explore all product interfaces](https://spin-forge.com/developers?section=access-directory) EXAMPLE 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. 1. 01 Agree the source format, admitted requirements, environment, budget and evidence level. 2. 02 Use solve-any or MCP solve_any for the original problem; use the applicable session API for supported revisions. 3. 03 Review each current-original candidate and its checks. Transfer a prior bound only when preservation and new witness conditions hold. FIT & ACCEPTANCE ## 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 BUYING ## 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 DELIVERY By proposal Customer-hosted access and a service operated by SpinForge are different scopes. Confirm the release, deployment and included support before activation. [Plans & delivery](https://spin-forge.com/pricing) PUT 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. [Discuss this workflow](https://spin-forge.com/contact?product=unisolve&brief=Product%3A+UNISOLVE%0AOur+challenge%3A+Translating+the+model+delays+useful+work%0AWorkload+%2F+baseline%3A+%0AEnvironment%3A+%0ARequired+output%3A+%0AAcceptance+measures%3A+Preservation+of+the+source+requirements%3B+Time+to+a+useful+checked+result%3B+Clarity+and+completeness+of+the+returned+evidence%0ADelivery+preference+%28software+%2F+engineering+%2F+managed%29%3A+) **Related products, workflows and system connections + **RELATED CAPABILITIES ## Connect the right products. Distinct responsibilities. Explore each scope before choosing a combined deployment. [### UNISOLVE input formats Explore strict native imports, native-plus-fallback paths and optional readers.](https://spin-forge.com/unisolve/formats) [### UNISOLVE verification Independent checks, exact arithmetic and standard proof-export boundaries.](https://spin-forge.com/unisolve/verification) [### UNISOLVE services Model solving, proof-required analysis, incremental what-if work and customer integration.](https://spin-forge.com/unisolve/services) ONE PLATFORM / OR A DIRECT PURCHASE ## 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](https://spin-forge.com/platform/checked-decisions) [Choose workflow capacity](https://spin-forge.com/plans?configuration=checked-decisions&product=unisolve) CONNECTED WORKFLOWS ## Use UNISOLVE in your workflow. The product remains independently available. These customer-specific solution paths use the relevant supported capabilities, with integration and delivery rights agreed separately. [01 ### Independent result verification Check a supported candidate or proof against the original model—even when another system produced the answer. Understand what passed, what failed and what remains unresolved.](https://spin-forge.com/solutions/result-verification) [02 ### AI decision checks Check an AI-generated configuration, allocation or plan against approved, explicitly modeled requirements before an authorized system acts.](https://spin-forge.com/solutions/ai-decision-checks) [03 ### AI training & evaluation environments Commission a task environment or evaluation suite in which supported mathematical and decision outcomes are checked by code, not judged only by the fluency of an explanation.](https://spin-forge.com/solutions/ai-training-evaluation) [Explore all 17 solution workflows](https://spin-forge.com/workflows) FROM PRODUCT TO CUSTOMER WORKFLOW ## 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 ### Explain & repair a constrained plan Commission one supported decision model, a scoped conflict analysis and a comparison of permitted repairs.](https://spin-forge.com/programs/plan-diagnosis) [02 / Scoped customer program ### Maintain a recurring decision Commission a revision-aware workflow that keeps models, assumptions, results and evidence connected as inputs change.](https://spin-forge.com/programs/living-decisions) [Explore decision programs](https://spin-forge.com/decision-systems) THE WHOLE-SYSTEM ROLE ## UNISOLVE in a wider workflow. Act as one computational and checking backbone for admitted cross-product claims. POTENTIAL SYSTEM CONTRIBUTION 82 registered profiles are not 82 independent algorithms; global, regional, statistical and numerical trust remain distinct. [S1 · Joint workload & machine optimization](https://spin-forge.com/system-synergies/joint-configuration) [S2 · Decision-sensitive computation](https://spin-forge.com/system-synergies/decision-sensitive-compute) [S3 · Checked computational memory](https://spin-forge.com/system-synergies/checked-computational-memory) [S4 · Options, flexibility & recourse](https://spin-forge.com/system-synergies/options-and-recourse) [S5 · Cross-domain exact reformulation](https://spin-forge.com/system-synergies/exact-reformulation) [S6 · Checked improvement feedback](https://spin-forge.com/system-synergies/checked-improvement) [See this product in the map](https://spin-forge.com/system-synergies/product-map?q=UNISOLVE) [Define an integration evaluation](https://spin-forge.com/system-synergies/evaluation) The product is independently available through CLI, MCP and headless access. The joins above are integration candidates; compatibility, authority, data rights and end-to-end benefit must be established for the selected workflow. START WITH THIS PRODUCT Use the software directly or ask us to scope the implementation. [Software access](https://spin-forge.com/plans?product=unisolve) [Have us do the work](https://spin-forge.com/contact?product=unisolve&delivery=engineering)