# Vraelis Prompto

Vraelis Prompto is an open-source tool that locks AI model folders and coding-agent add-ons to their exact bytes, offline, and tells you when anything changes.

Vraelis Prompto keeps a lockfile of exactly what you approved, then tells you later whether it is still the same. It runs offline, never loads a model and never launches anything. The command is `vraelis`.

- **Version:** 0.1.2 (alpha), released October 21, 2026
- **License:** Apache-2.0, open source
- **Runs on:** Windows, macOS and Linux. Standalone downloads need nothing else; the Python package needs Python 3.11 or newer
- **Network:** None. The optional `signature` check is the one command that contacts Sigstore

## Two locks, one tool

- `vraelis models` pins the exact bytes of an AI model folder (safetensors, GGUF, configs, tokenizer) and checks its structure. [Model folders](https://docs.vraelis.com/prompto-models)
- `vraelis agents` (preview) pins an AI coding agent's add-ons: MCP servers, Claude Code settings, skills, agents and commands, and the local scripts those configs launch. [Agent add-ons](https://docs.vraelis.com/prompto-agents)

Every result is one of Unchanged, Changed or Can't verify, and says what it shows and what it does not. Nothing here is a security assessment. [Results and exit codes](https://docs.vraelis.com/prompto-results)

> **Alpha.** Testing so far was self-run, not independent, and no outside user has run it yet. Interfaces and lockfile formats may change.

- [Download and install](https://docs.vraelis.com/prompto-install): Standalone downloads for every system, or pip.
- [Model folders](https://docs.vraelis.com/prompto-models): Lock, verify and diff a model folder.
- [Agent add-ons](https://docs.vraelis.com/prompto-agents): Lock and verify what a coding agent loads and launches.
- [Secrets and limits](https://docs.vraelis.com/prompto-limits): What is recorded, what never is, and what a result does not show.

---

Vraelis documentation, Products. https://docs.vraelis.com/prompto