⚙️ Docs | 🌟 Examples | 💬 Discord | 💰 Modal Money
Work in progress: Modality is under active development. The language, verifier, CLI, docs, and examples are still changing, and some workflows may require building from source or using experimental commands.
Modality is a verification language for AI agent cooperation.
It enables agents (and humans*) to negotiate and verify cooperation through formal verification. Define modal contracts as append-only logs of signed commits, and prove commitments with temporal logic.
*Humans are also welcome to use Modality, if they're sufficiently motivated.
curl --proto '=https' --tlsv1.2 -sSf https://www.modality.org/install.sh | sh- 🔐 Modal Contracts — State machines with formally verified temporal logic
- 🤖 Agent Cooperation — Escrow, swaps, milestones — provably enforced
- 📜 Append-Only Logs — Full history, transparent state, cryptographic integrity
- 🌐 Decentralized Deployment — Deploy contracts onto a global network via Modal Money
- Getting Started — Install and run your first contract
- Core Concepts — Understand models, formulas, and verification
- Language Reference — Complete syntax guide
- For Agents — Quick reference for AI agents
Rust is the canonical implementation: language, verifier, CLI (modal), node, hub, and network (modality-* crates under /rust).
JavaScript is provided as needed for hosts that are not Rust — WASM, the TypeScript SDK, browsers, and Node agents. Prefer wrapping the Rust libraries (especially modality-lang WASM) over reimplementing them.
| Path | Purpose | |
|---|---|---|
| Rust | /rust |
Canonical libraries and modal CLI |
| JavaScript | /js |
As-needed JS packages (modality-js), WASM, network/browser clients |
| TypeScript SDK | /packages/modality-sdk |
@modality-org/sdk |
| VS Code | /common/modality-vscode |
LSP client for modality-lsp |
See DEVELOPMENT.md for local setup, build, and test instructions.
- 💬 Discord — Chat and community meetings
- 📂 GitHub Issues — Report bugs or request features
Contributors