Everything you need to run Softinel in production.
The docs are organised around three questions: how do I start, how do I think about it, and where is the reference for the piece I need right now?
Pick a door.
From zero to first verification in under 5 minutes
Install the CLI, connect a repository, watch Softinel build the model and produce your first evidence-backed verdict.
How Softinel thinks about your software
The model, the verification kernel, the evidence system, and the digital twin — the mental model that makes the docs make sense.
API, CLI, SDKs, and editor integrations
The full surface — HTTP endpoints, the svp CLI, the TypeScript/Python/Go SDKs, and the VS Code extension.
Five minutes, four commands.
$ curl -sSfL https://softinel.com/get | shDownloads the svp binary for your OS (linux/darwin, amd64/arm64) and drops it in /usr/local/bin. Available versions at /get/available.
$ svp loginOpens your browser, returns a token, stores it in ~/.svp/config.json — never on disk unencrypted.
$ svp projects create --name payments-serviceCreates a project record inside your organisation.
$ svp upload ./ --project payments-serviceSoftinel parses, models, analyses, and verifies. Watch the run in the terminal or in the web console.
- ▸A live software model in the console — click any component to inspect it.
- ▸Findings organised by verification layer (architecture, security, quality, performance, compliance).
- ▸A signed verdict — Verified, Verified-with-Conditions, or Blocked — with the full evidence bundle attached.
- ▸A ready-to-share report (Executive, Engineering, Security Evidence, or Audit Package).
The full surface.
OpenAPI 3.1. Authentication, projects, uploads, findings, verdicts, billing, reports, tenancy.
svp login · projects · upload · findings · verdict · reports. Reads config from ~/.svp/config.json.
Typed clients: @softinel/sdk (TS), softinel-sdk (Python), github.com/softinel/sdk-go.
VS Code extension: inline findings, evidence panel, one-click re-verify on save.
The questions we get asked most.
Where does my source code go?+
Nowhere unless you send it there. Hosted mode keeps snapshots in encrypted storage; self-hosted mode keeps them inside your network. Airgapped mode never crosses the perimeter.
Does Softinel use my code to train models?+
No. Ever. Training on customer code is not part of the product and not part of any tier.
How is a verdict different from a scan report?+
A verdict is signed, dated, and carries the full evidence set that produced it. A scan report is a list. Verdicts are auditable; scan reports are not.
How much of Softinel runs on AI?+
AI is used inside Softinel to phrase findings in readable English. It has no role in decisions. The verification kernel is the only thing that decides — always deterministically, always with evidence.
Connect your software. Softinel builds the model.
One canonical, connected model of your software. Every question about security, correctness, architecture, and change becomes a query against it — with evidence attached.