Assure

Workbench Previous work Prompt Library Connect

Copy stays here. Send goes only to the provider you chose. Language Free

Learn

Paste a prompt you like. Assure turns it into a class you can reuse.

Connect a provider to use Get my answer.

Free allows 5 checks per day. Upgrade to Pro for 100.

See Pro pricing

Pro is $19 per month on the Pricing page. On this machine, ASSURE_EDITION=pro raises the cap without Stripe.

Easier on a larger screen You can keep writing here. A bigger window just makes reviewing drafts more comfortable.

Assure

History v1

Download

Word (.docx) Markdown HTML PDF

Backstage

Role

Language

Verified – No hallucinations found.

Runs

Workspaces

Draft or Import Document

Paste draft text, import a document, or define your objective. Assemble extracts verifiable claims against linked sources.

0 words · 0 characters · Markdown & plain text supported

Model Lock Threshold Strictness Mode

Document Lifecycle

Write

Verify

Audit

Ship

Start here – type your intent

1 / 3

Show advanced parameters

Quick actions

Show ink stamps

Argument Spine ▾

Section hierarchy and argument spine generate upon document assembly.

Document Structure ▾

Compile a document to see sections.

Refine Workspace ▾

Select a compiled paragraph to refine language and structure.

Tap any paragraph to polish it.

Risk Signals

No audit executed. Risk signals and contradictions populate after Full Audit.

Audit Trail

Export manifests and sign-offs from the command deck.

Debug Traces

Enable advanced mode for model and lock controls.

Compliance Health

Open Analytics for team-wide KPIs.

Recent prompts

Working…

Nodes: 0 Locks: 0

Running Math Check and Stress Test…

Inferred locks

🛡️ Complete Math Check and Stress Test before docking.

Sources

No files uploaded. Drag and drop or click to upload.

Analytics

Z3 health, Red-Hat critiques, and compliance velocity.

Z3 Pass Rate

—

Total Audits

—

Avg Sign-offs

—

Open issues

—

Z3 pass rate

Date range

Stress Test

Try it on a sample paragraph

Write your question

Auto

Extra context (optional)

Choose your AI

Advanced options

Also ask

Quick Answer Compare & Validate Refine & Verify

What should the critique look for? Who critiques?

For whom?

Attach a file (optional)

Max file size: 10 MB · PDFs: up to 50 pages

Found 0 key metrics in your source.

Saved template (optional)

Save tokens (cheaper)

Compiled prompt preview

Start typing. This panel shows the prompt as it is rewritten.

Refine a Node

Select a node on the canvas. Your edit stays locked to that section — nothing else drifts.

Refine target: —

Edit intent

Press Ctrl or ⌘ + Enter to refine

Model stream

Revision comparison

Original

Proposed

Stress Test Alert

Draft — not yet docked

· Run Stress Test?

Show Confidence Overlay Verified Uncertain Hallucination

Select a workspace from the left to resume, or initialize a new project.

Choose a template that fits your workflow.

Initialize a new workspace

Project name…

Add source files (optional)

No file selected

Untitled Document

Write your draft here, or hit ⌘K to start.

Reasoning Graph

Verification Provenance

Audit Report

All good

Sign-Off

Reviewer name Comment (optional)

Decision Log

Delete workspace?

What to investigate

Drop source files here (optional) — or press Enter to run

Evidence Inspector

Lock hash:

Source: ()

Keyboard shortcuts

Assemble the draft ⌘↩
Refine the selected node ⌘↩
Dock the draft to the canvas ⌘⇧D
Open the export menu ⌘⇧E
Save the document ⌘S
Upload a file to the Substrate Vault ⌘U
Undo in the editor ⌘Z
Redo in the editor ⌘⇧Z
Show or hide the tools menu ⌘B
Reset the pane split ⌘\
Show this list ?
Open the command palette ⌘K

Drag the divider between the panes to resize them. Double-click it to reset.

Recent

Checking which models can answer…

Pick the shape that matches your goal. Unsure? Start with research.

Tip: "Compare & Validate" works best for most questions.

Turn this on to answer on this computer. Nothing goes to the internet. Ollama is the usual runner. vLLM, SGLang, Llamafile, or LM Studio also work if they are already up.

Prompt

Answer

Answer ready

Paste a draft or describe what you need, then Send. Green = grounded in source. Yellow = inferred or unsupported.

Working…

Paste a draft or describe what you need, then Send. Green = grounded in source. Yellow = inferred or unsupported.

Thanks for your feedback!

Pick a target and an intent, write the task, then generate.

Tokens: 0 in + 0 out = 0 (~$0.00 est.)

Substrate Vault

Saved prompts you can insert at the cursor in the editor.

Learn a class from a pasted prompt

Settings

User preferences and provider keys.

Include References section in DOCX export

Open connect page

Audit Report

A verifiable compliance record of your document compilation.

Open this tab to preview the manifest, or export to download.

New project

Step 1 of 3 — Choose a template

Add source files (optional)

Drag and drop PDFs or images here, or click to browse.

Starter prompt from Library Your prompt Project name

Skip wizard

Fix this claim

Instructions

Source conflict (keyword scan)

These included vault files disagree on a number, date, or term. This scan is keyword-level only; semantic contradiction detection is not applied.

Node revision history

Paste a prompt

No API call. It reads headings, XML tags, and You-are lines, then turns the example into a class you can reuse.

Extracted class

Paste a prompt on the left.

Class name Role Output format Template

No previous work yet. Get an answer on Compose and it shows up here.

Learn a class from a pasted prompt

View

Question

Answer

Details

See changes

Export

Choose a format

Markdown HTML Prompty PDF

Copy as plain text

Source

Audit Report

A verifiable compliance record of your document compilation.

What's included

Source file hashes (SHA-256) — proves files were not tampered with
Z3 verification logs — mathematical proof that every locked number is consistent
Red-Hat audit records — adversarial critiques and your decisions (accept/ignore)
Model signatures — which AI model generated each section
Version history — every change made to the document

Who uses this

Auditors — to verify the integrity of your financial or legal documents
Compliance teams — to meet regulatory requirements (e.g., FDA, SEC, GDPR)
Internal reviewers — to see exactly what was verified and what was flagged
Investment committees — to confirm numbers are mathematically locked

How to use

Export the JSON file.
Share it with your auditor, compliance officer, or regulator.
They can inspect the Z3 proof, Red-Hat decisions, and source integrity.

API keys

Need an API key? Launch Assure Workspace →

Please provide at least one provider API key to run verification.

Gemini API Key Claude API Key

Workbench already open

Workbench is already active in another tab. Close this tab to prevent state corruption.

This node was changed elsewhere

This node was changed by another user. Reload or overwrite?

Your data stays on your machine. Send only to your chosen provider.

Help