A local optimization workbench and solver platform for people, software, and AI agents.
Model visually, expose versioned solvers through REST or MCP, and inspect every result without sending business data to a solver cloud.
Website · Download desktop builds · Connect an agent · Roadmap · Algorithms
Optees gives the same tested optimization core two interfaces. People can formulate problems in a guided bilingual desktop application, visualize the solution, and study the mathematics. Scripts and compatible AI agents can discover 13 versioned capabilities, inspect their exact schemas, validate a formulation, execute a job, and retrieve a structured result without driving the GUI.
| Desktop workbench | Local solver platform |
|---|---|
| Guided LP, MILP, Knapsack, NLP, graph, Forecasting, ML, and 3D Packing workflows | Capability discovery through CLI, authenticated loopback REST, and private MCP stdio |
| Examples, mathematical descriptions, JSON import, diagnostics, and solution visualizations | Versioned contracts, asynchronous jobs, optional result artifacts and composed Markdown/PDF reports |
| Deterministic bilingual Modeling Assistant with no LLM or cloud dependency | Local agents can compose atomic solvers while Optees remains responsible for validation and calculation |
An agent does not need to guess an Optees payload or calculate the answer itself. The integration contract requires it to inspect the live capability, validate the exact formulation, and only then submit a solver job.
flowchart LR
User["Business problem and local data"] --> Agent["Local software or AI agent"]
Agent --> Discover["Discover 13 capabilities"]
Discover --> Inspect["Inspect versioned schema"]
Inspect --> Validate["Validate exact payload"]
Validate --> Solve["Run Optees solver job"]
Solve --> Verify["Read status, result, and validation"]
Verify --> Agent
Agent --> Artifacts["Optional tables, charts, 3D models, or reports"]
Agent --> Next["Optional next solver step"]
- Authenticated local REST API: start a loopback-only server from Settings for scripts, IDE tools, and local applications.
- Private MCP stdio server: compatible desktop agents can launch Optees, discover tools, validate formulations, execute jobs, and orchestrate multiple capabilities without receiving a REST bearer token.
- Agent-safe sequencing: descriptor inspection and successful validation of the unchanged payload are required before execution.
- Structured guarantees: job lifecycle, mathematical status, solver diagnostics, and independent validation availability are reported as separate fields rather than compressed into one success flag.
- Opt-in result artifacts: agents and users may request canonical tables, charts, 3D assets, and composed Markdown/PDF reports. Raw JSON remains the default, and generated files carry provenance and SHA-256 hashes.
- Composable methods: a capable agent can, for example, forecast demand, feed the validated forecast into a MILP plan, then request a chart and a report. Every atomic calculation remains reproducible and inspectable.
Optees validates contracts and calculations, not the business interpretation chosen by an agent. Users remain responsible for objectives, assumptions, data quality, and whether a multi-step workflow represents the real decision.
Claude Desktop/Cowork and the experimental Ollama harness have completed local vertical tests. See the agent service configuration guide and the agent benchmark protocol. Native release artifacts include a dedicated MCP stdio entry point; clean-machine client acceptance remains required before each stable release.
- One solver core, several clients: the GUI, CLI, REST service, and MCP server reuse the same application services and versioned contracts.
- Ready for assisted problem solving: agents can move from natural-language requirements to a validated mathematical formulation instead of inventing a result from prose.
- Local solver core: formulations and solver jobs are processed on the machine. The built-in Modeling Assistant is rule-based and sends no prompt outside the app; an optional external agent remains subject to that client's own data and model policy.
- Honest result views: an LP optimum, a feasible MILP incumbent, an NLP local numerical candidate, a time-series forecast, and a predictive ML fit are deliberately not presented as the same kind of guarantee.
- Educational by design: examples, mathematical explanations, result contracts, diagnostics, and visualizations make assumptions visible.
- Structured workflows: use formulation screens, versioned JSON, or public service contracts rather than maintaining ad-hoc scripts around each solver.
- English and Italian: the application, its explanations, and its local assistant support both languages.
Choose a workflow from Linear Optimization, Nonlinear Programming, Graph Theory, or AI & Machine Learning.
| LP solution analysis | Binary classification diagnostics |
|---|---|
 |
 |
| Inspect objective behaviour, alternative-optimum ranges, and the feasible region. | Inspect held-out metrics, class errors, probabilities, and a two-dimensional decision boundary. |
More real application screens and platform downloads are available on the Optees website.
| Family | What Optees provides |
|---|---|
| Linear Programming (LP) | Continuous LP through SciPy/HiGHS, feasibility and status reporting, optimal-solution ranges when multiple optima exist, JSON import, and 2D/3D educational views where applicable. |
| Mixed-Integer Linear Programming (MILP) | Continuous, integer, and binary variables through OR-Tools, solver controls, and educational formulation/result views. |
| Knapsack | 0/1, Bounded, Unbounded, Fractional, and Multi-dimensional variants with capacity and item visualizations. |
| Single-container 3D Packing | Orthogonal box placement with per-item rotation policies, optional scalar capacities, selectable loading and gravity policies, maximum-feasible recovery, and an inspectable 3D result. |
| Continuous Nonlinear Programming (NLP) | Safe scalar expressions, optional box bounds, BFGS/Nelder-Mead/L-BFGS-B, objective plots, and a clear local-candidate contract. |
| Graph Theory | Dijkstra shortest paths on directed or undirected graphs with finite, non-negative weights, route reconstruction, and graph visualization. |
| Linear Regression | Local OLS and Ridge regression for numeric tables, deterministic train/test splits, residuals, metrics, and a one-feature fit chart. |
| Binary Classification | Local logistic regression for two labels, stratified held-out evaluation, accuracy/precision/recall/F1, confusion matrices, probabilities, and an optional 2D decision boundary. |
| Univariate Forecasting | Naive, seasonal-naive, and additive Holt-Winters forecasts with chronological holdout or rolling-origin evaluation, future timestamps, diagnostics, independent validation, and optional table/chart artifacts. |
| Modeling Assistant | English/Italian local rule-based recommendations for solver families. It drafts validated LP, MILP, Knapsack, Regression, and Binary Classification JSON only from explicit structured data; it never invents observations from prose. |
Structured JSON is always the primary result. When a person or agent needs a deliverable, Optees can render only the requested assets:
- canonical Markdown tables and capability-specific PNG charts;
- 3D Packing views plus OBJ/MTL geometry;
- downloadable files in a user-authorized directory with bounded storage, expiration, integrity hashes, and path traversal protection;
- composed Markdown or PDF reports that reuse validated artifacts instead of asking an agent to redraw the solver output.
Artifact availability is declared per capability. Generation is never automatic, so clients that prefer raw data can avoid the extra work entirely.
Prebuilt desktop packages for macOS Apple Silicon, Windows x64, and Linux x86_64
are published on GitHub Releases.
Each release includes SHA256SUMS for verification.
When a release includes optees-linux-x86_64.deb, Ubuntu and Debian users
should choose it for native installation and desktop integration. The Linux
AppImage remains the portable fallback. Windows users should choose the Setup
executable rather than the portable ZIP for a normal installation.
On macOS, current packages are ad-hoc signed because the project does not use an Apple Developer ID. Gatekeeper may require you to explicitly open the app after download. See the release procedure for the precise installation, verification, signing, and tag workflow.
Optees requires Python 3.12 or later.
git clone https://github.com/Pablo-gitub/optees.git
cd optees
conda env create --file environment.yml
conda activate optees
python -m optees.mainThe checked-in environment.yml reproduces the complete Conda development
environment on macOS, Windows, and Linux. Platform prerequisites, a standard
venv alternative, and Linux graphics diagnostics are documented in the
development setup guide.
To develop or use the optional local solver API, install the dedicated extra:
python -m pip install -e ".[plot,local-service]"To connect a local MCP client such as Claude Desktop or Cowork, install the
mcp extra and follow the agent service configuration guide.
The guide also records the experimental Ollama workflow, the future OpenAI GPT
compatibility test, a discovery check, and reviewed single-solver and
regression-to-MILP examples.
Run the complete test suite from a source checkout:
PYTHONPATH=src python -m pytest -qThe project keeps executable tests and reference data close to each solver family. LP uses LPnetlib; MILP uses a bounded MIPLIB subset; Knapsack uses Burkardt and OR-Library cases; NLP, regression, classification, and graph workflows use documented analytic or deterministic reference cases. Forecasting includes analytic baselines, temporal evaluation checks, and independent recomputation of forecast metrics. The full source and provenance are described in Datasets and the test strategy in Testing.
Optees is an educational and decision-support tool, not a guarantee that every model is suitable for a consequential real-world decision. In particular:
- NLP returns a local numerical candidate unless a stronger guarantee is explicitly stated.
- Heuristic, global-optimization, clustering, and broader graph workflows are planned rather than advertised as available.
- Regression and classification describe fitted predictive relationships; they do not establish causality, fairness, or future performance.
- Forecasts extrapolate historical structure and can fail under structural breaks, poor data quality, or a future unlike the observed history.
- Documentation index
- Architecture
- Algorithms
- Project roadmap
- Documentation, website, release, and demonstration roadmap
- Documentation truth audit
- Datasets and formats
- Testing strategy
- Local solver service
- Agent service configuration
- Local MCP stdio server
- Agent benchmark protocol
- Experimental Ollama agent harness
- Release procedure
- Website deployment
Optees is released under the Apache License 2.0.