Developers
Sign Up Now →Sign Up Now

Helixor Developers

Build agents, solve plans and automate decisions you can check

Three products. Each has its own guide, tutorials and reference.

  1. 01Agent FrameworkDigital workers that pursue one goal under declared rules, with governed actions and a record of every step.Open
  2. 02Solver as a ServiceSend routing and rostering problems to the hosted solver, or embed the same solver in your process.Open
  3. 03Decisions as a ServiceCompile written policy into a pack; every call returns the decision, the rules behind it and a receipt.Open
  5. 05Start a pilotBring one written policy. We run it next to your current process and show where they agree.Plan

Checkable means a result you can verify yourself, not a cryptographic proof: every decision names the rules that passed or failed and a receipt hash you can recompute.

Try a demo

No install and no license. Each demo runs on the hosted service and shows what was decided and why.

Decisions as a Service

Decision playground

Send a payload and read the action, the rules that fired, the remedy and the receipt.

 Agent Framework

Sales assistant

Talk to a digital worker and watch every decision it makes, turn by turn.

 Solver as a Service

Solver console

Pick a problem type, load a dataset and solve it. Sign-in required.

 How the engine works

Search and games

Play against an engine that searches ahead and certifies its moves.

Decisions: make policy useful day to day

Give operations teams a clear next step and the rule behind it. These domain-pack walkthroughs help you define a policy, test its decisions and review the result.

Authoring exercise

Route a support ticket to the right team

Design a billing, account-support and manual-triage policy. Explain each recommendation using the submitted message.

 Purchasing example

Find the right approval route

Separate supplier review, manager approval and missing facts. Test a policy change before release.

 Recorded evidence

Inspect accuracy and admission

Read the candidate results, the unqualified calibration gate and the provider regression.