Skip to content
For anyone who can define an options strategy and run Claude Code or Codex

A trading idea is not an engine.

Options OS gives your coding agent the definitions, specifications and libraries to build crypto-options engines, so it resolves the ten hard decisions with you instead of inventing them.

Options OS gives your coding agent the definitions, specifications and libraries to build crypto-options engines, so it resolves the ten hard decisions with you instead of inventing them.

$149 one-time · no subscription · private GitHub invitation after payment
trading-engine-definition
7 accepted·3 open
  1. 01
    01
    market idea
    market idea
    accepted
    accepted
  2. 02
    02
    data quality
    data quality
    accepted
    accepted
  3. 03
    03
    signals
    signals
    accepted
    accepted
  4. 04
    04
    instruments
    instruments
    accepted
    accepted
  5. 05
    05
    sizing
    sizing
    accepted
    accepted
  6. 06
    06
    orders
    orders
    open
    open
  7. 07
    07
    hedging
    hedging
    open
    open
  8. 08
    08
    settlement
    settlement
    accepted
    accepted
  9. 09
    09
    failures
    failures
    open
    open
  10. 10
    10
    operator controls
    operator controls
    accepted
    accepted
Implementation begins only after every section is accepted.How the intent works →
How an engine gets built

Staged, accepted, verified: before and after code

Each stage closes with an accepted artifact. The agent cannot skip from trading intent to implementation.

Options OS agent build progressing through Define, Translate, Architect, Contract and plan, Execute, and Verify
  1. DefineComplete the trading engine intent with a web-based reasoning model. Unresolved decisions stay marked, not filled in.
  2. Translate/translate-trading-intentEngine, operations and scenario specifications. Gaps go back to the intent; the agent does not invent policy.
  3. Architect/architect-systemBoundaries, state ownership, effects, library and venue bindings.
  4. Contract and plan/write-buildable-specification · /create-implementation-planImplementation-ready specifications, then dependency-closed execution packets.
  5. Execute/execute-implementation-planEach packet closes with tests, invariant checks, conformance and recorded command output.
  6. Verifypre-commit run --all-filesRuff, Mypy, package tests, architecture and invariant enforcement, control tests.
The problem

Every missing decision gives the agent room to invent financial meaning

A strategy sentence leaves ten decisions open. A coding agent cannot build or operate the engine without answering them, so it guesses.

01 · market ideaWhat exactly counts as “high volatility”?
02 · data qualityWhich feeds, and what happens when they go stale?
03 · signalsWhat triggers entry, and what cancels it?
04 · instrumentsWhich expiry and which strikes?
05 · sizingHow large, against which risk limit?
06 · ordersWhat happens after a partial fill?
07 · hedgingWhen does it re-hedge delta, and with what?
08 · settlementHow are costs, PnL and settlement reconciled?
09 · failuresWhat happens on disconnect or restart?
10 · operator controlsWhat can you see, pause and stop?
Without Options OSWith Options OS
The agent invents the financial decisions a strategy leaves openThe intent surfaces every decision before the build
Rebuild options infrastructure around every strategyCompose an existing options-native foundation
Agents infer boundaries from scattered codeSpecifications and contracts define the system
Venue behavior leaks into engine logicAn implemented Deribit adapter demonstrates the normalized boundary
Generated code is accepted on appearanceVerification is part of the build path
WithoutThe agent invents the financial decisions a strategy leaves open
WithThe intent surfaces every decision before the build
WithoutRebuild options infrastructure around every strategy
WithCompose an existing options-native foundation
WithoutAgents infer boundaries from scattered code
WithSpecifications and contracts define the system
WithoutVenue behavior leaks into engine logic
WithAn implemented Deribit adapter demonstrates the normalized boundary
WithoutGenerated code is accepted on appearance
WithVerification is part of the build path
What you get

A foundation the agent composes, not rebuilds

Financial meaning is defined once across units, instruments, Greeks, costs, risk, orders and settlement, and every engine uses the same definitions.

Reusable libraries21
Matching specifications21
Implemented adapterDeribit
Agent skills30
End-to-end workflows5
Coding agents2

Intent and templates

Trading engine intent plus engine, operations and scenario specification templates. Define the strategy, risk limits, entry and exit rules, and expected behaviour before the agent starts building.

Options-native foundations

21 Python libraries covering trading models, options mathematics, portfolios, decisions, infrastructure and exchange integration, each with its own specification and tests.

Agent controls

Skills, workflows, hooks and tools for Claude Code and Codex. Repository checks stop the agent weakening tests or claiming verification it did not run.

Architecture, libraries and specifications in the docs →
Fit

Options OS supplies the foundation. You define the engine

OwnerArea
Options OSOptions-native semantics, libraries and specifications
Options OSImplemented Deribit exchange adapter
Options OSTrading engine intent and specification templates
Options OSClaude Code and Codex skills, workflows, hooks and tools
YouStrategy, trading signals and PnL mechanism
YouRisk limits, lifecycle and operating policy
YouHosting, deployment, credentials and capital
YouOperational validation and live approval
Owner · Area
Options OS
Options-native semantics, libraries and specifications
Options OS
Implemented Deribit exchange adapter
Options OS
Trading engine intent and specification templates
Options OS
Claude Code and Codex skills, workflows, hooks and tools
You
Strategy, trading signals and PnL mechanism
You
Risk limits, lifecycle and operating policy
You
Hosting, deployment, credentials and capital
You
Operational validation and live approval

Not a one-click trading bot. Not a hosted execution service. Not for trading without review.

Builder

Who builds Options OS

Bella Belgarokova

Bella Belgarokova

Software engineer and founder of LeanOS Technologies, based in Dubai. Options OS is the first complete system built with LeanOS.
About →
Pricing

Two ways to build an engine in source you control

Build it yourself

Options OS

$149
One-time · private GitHub invitation after payment · no subscription
Buy Options OS
Build with LeanOS

Custom implementation

Scope and price are agreed before work begins.
Book a call →
Access steps and questions →