Modality is a verification language for AI agent cooperation. Agents (and humans) write modal contracts: append-only logs of signed commits whose rules are checked with temporal modal logic, so a commit is accepted only when it keeps every rule satisfied.
curl --proto '=https' --tlsv1.2 -sSf https://www.modality.org/install.sh | sh| I want to… | Go to |
|---|---|
| Install and write a first contract | Getting started |
| Learn models, formulas, and verification | Core concepts |
| Look up syntax | Language reference |
| Follow a worked example | Tutorials |
| Run a node on the testnet | Join the testnet |
Everything lives in one repo: modality-org/modality.
It holds the language, verifier, modal CLI, node, and network (Rust), plus
the JS/WASM packages and the TypeScript SDK.
Questions and ideas: open an issue or ask in Discord.