v0.2.0
SATYA Verification Engine

Verify before you file, send, or rely.

Drop in any document. SATYA checks every claim against source material. Produces a signed cryptographic receipt. Runs on your machine. Nothing leaves your network.

Download SATYA Windows 10/11 x64 | ~75 MB | No install required
Try online pip install API access MCP server
How It Works

Three steps. One receipt.

01
Drop your documents Drag in the AI-generated output: a brief, a report, a filing, a summary. Then drag in the source material it should be checked against.
02
SATYA verifies Sheaf cohomology checks every claim against every source. Not a probability. Not a confidence score. A mathematical proof of consistency or contradiction.
03
Get the receipt A signed, timestamped verification receipt. Green: safe to rely on. Red: structural contradiction found, with exact locations. Ed25519 signed. Independently verifiable.

Nothing leaves your machine. SATYA runs entirely locally. No cloud calls. No API tokens. No data transmitted. Your documents stay on your hardware. The verification is pure math, computed on your CPU in microseconds.

Microsoft Word

Verify documents without leaving Word.

SATYA Desktop powers a Verify button right in your Word ribbon. Open any document, click Verify, see contradictions in a side panel next to your text. Receipts generate from the panel. Nothing leaves your machine.

Individual
Download SATYA Desktop above. The Word add-in connects automatically. Search "SATYA Verify" in Word under Insert, then Get Add-ins.
Firm-wide
IT deploys one URL to the Microsoft 365 admin center. The Verify button appears in every attorney's Word automatically. Zero clicks from your team.
Three Ways to Run

Pick the interface that fits your workflow.

For everyone Desktop Double-click to launch. Drag in files. Click verify. Get a receipt. No terminal. No configuration. No Python. Works out of the box on any Windows machine.
For developers Command Line pip install and run from your terminal. Full CLI with JSON output, file input, stdin pipes, signing options, domain packs, and RAG verification mode. For platforms API REST endpoint for integration into any pipeline. POST a document, get a signed receipt back. Drop SATYA into your RAG system, your CI/CD, your document workflow.
Command Line

For developers who live in the terminal.

Full-featured CLI with self-consistency checking, RAG verification against source documents, domain-specific packs for legal, compliance, and financial verticals, and Ed25519 signed certificates on every run.

# Verify a document for internal contradictions
$ satya --file brief.txt --sign

# Verify AI output against source documents
$ satya --file ai_summary.txt --source-file source1.pdf --source-file source2.pdf

# Legal domain pack with signed certificate
$ satya --file filing.txt --domain legal --sign --certificate

# JSON output for pipeline integration
$ satya --file report.txt --json --sign
Install via pip

Python 3.10+. No GPU. No special hardware.

# Clone and install locally
$ git clone https://github.com/Jasonleonardvolk/sigma.git
$ cd sigma
$ pip install -e .

# Run as a module
$ python -m sigma.satya --file document.txt --sign

# Python API
>>> from sigma.satya.verification.self_consistency import verify_and_sign
>>> result = verify_and_sign("The policy covers all employees. Part-time staff are excluded.")
>>> print(result.decision) # "inconsistent"
System Requirements

Runs on commodity hardware. No GPU. No cloud.

OSWindows 10/11 (x64). macOS and Linux builds coming.
CPUAny modern x64 processor.
RAM4 GB minimum. 8 GB recommended for large documents.
Disk~75 MB for the desktop executable.
GPUNot required. Not used. SATYA is pure CPU math.
NetworkNot required for local verification.

The only deterministic verification engine.

No LLM in the loop. No GPU. No training data. No learned parameters. Just math. Same input, same result, every time.

Download SATYA Try Online Enterprise