Pricing and Deployment Tiers for MITR Sentinel & Z3 Gate
Engineering teams can begin immediately with the free Apache-2.0 companion packages on a local testbed and scale to full Z3 formal verification, precomputed domain policy matrices, and air-gapped on-premises deployment.
1. Licensing Tiers and Technical Scope
| Tier Name | Fee (RUB) |
Included Verification Modules & Deployment Scope |
|---|---|---|
MITR Open Probe (Apache-2.0) |
0 RUB (Free) |
Open packages mcp-sentinel 1.1.2, iss-ledger-117 1.1.1, and standalone verifier iss_verifier.py for sub-millisecond in-memory contract checks and Streebog-256 hash chaining. |
| Ledger Inspector Run | 4 900 RUB (One-time) |
Automated verification of a custom gate_actions.jsonl log up to 100,000 entries, OpenTimestamps proof validation, and signed factory test report. |
MITR Start Gateway |
19 900 RUB / month |
Protection for up to 5 autonomous agents: R0–R5 reversibility classification, Z3 formal proof on R4–R5 calls, and retry_of Unsat Core loop. |
MITR Protection-117 Enterprise |
49 000 RUB / month |
Up to 25 agents and nodes: precomputed legal and financial policy matrices, 152-FZ outbound personal record redaction, and Order No. 117 audit artifacts. |
MITR Opora Sovereign Air-Gap |
149 000 RUB / 3 months |
Complete offline distribution for air-gapped enterprise networks without internet access, local model binding, and joint testbed acceptance verification. |
To request an invoice, payment link, or offline evaluation bundle, contact info@isslab.ru.