Documentation
How a question becomes a desk, a desk becomes cards, and a card becomes something you can open — with a guide for each part, and a state on every claim.
Shipped in the current build. You can do this on your own machine today.
Finexia is a desktop application that drives the vendor command-line tools you already pay for. It is not a model, it does not resell one, and it holds no key of yours. This page is the map; each guide documents one part of it against a named version.
#Four states, and none of them is a promise
Every page in this space carries a state, and so does every capability inside a page. The scale never rounds up: without evidence that someone watched it run, a capability is available at best — never verified.
- VERIFIEDVERIFIEDObserved on a real machine, and the page says when. The date is part of the claim.
- AVAILABLEAVAILABLEShipped in the current build and callable. Nobody watched it during this pass, so the page does not say they did.
- PREVIEWPREVIEWWritten and covered by tests inside the core, but nothing an operator does reaches it yet.
- PLANNEDPLANNEDNothing is written. The page exists to say precisely what is missing, not to suggest it is nearly there.
#The shape of a run
- A question arrives at the host role, which routes rather than executes.
- The routing convenes the roles the question needs — and, when a deliverable is named, the role that owns that format.
- Each convened role becomes a card. A card drives one vendor CLI headless, in its own isolated workspace.
- The card emits a trace: one line per phase, per tool, per process. Never a summary. The raw process output stays available underneath, with the exact command line.
- Tools are served to the card by a local server on the loopback address, gated by the role’s declared capabilities.
- What the card produces — a chart module, a workbook, a blocked result — is deposited with its provenance.
- The host stitches the desk back together and the result carries its trail.
#The registries
Four things are registries, and a registry has exactly one home. Adding an entry anywhere else is a bug, not a shortcut.
| Registry | Home | What it decides |
|---|---|---|
| Roles | roles/mod.rs | Who exists, what each may reach. |
| Providers | providers/mod.rs | Which vendor CLIs can be driven. |
| Tools | mcp/tools.rs | What an agent can call, and under which capability. |
| Design tokens | the design sheet of the app | Every colour, every motion value. |
EvidenceThis site mirrors three of them — roles, providers and tools — rather than restating them 4. The tool reference is generated at build time from the core’s own registry, so a tool removed from the server disappears from this documentation without anyone remembering to delete it.
#Where to go next
- Getting started — from a fresh Mac to a first run.
- Architecture — the process tree, the workspaces, the local tool server.
- Connect a provider — the three CLIs, their sign-in doors, and the ten states of a connection.
- MCP — both directions, and the one that does not exist yet.
- API reference — every tool, its capability, its parameters and the roles that hold it.
- Security — each guarantee tied to the thing that enforces it.
#Sources
- Finexia OS — product state at 0.0.23FinexiaInternal document, not published
- The canonical role registry, mirrored on this siteFinexiaInternal document, not published
- The provider registry, mirrored on this siteFinexiaInternal document, not published
- The tool registry, mirrored on this siteFinexiaInternal document, not published