⚙️ 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
Modality is developed in both JavaScript and Rust.
| Path | Purpose | |
|---|---|---|
| JavaScript | /js |
Web-compatible libraries for verifiable contracts |
| Rust | /rust |
System libraries and CLI |
See DEVELOPMENT.md for local setup, build, and test instructions.
- 💬 Discord — Chat and community meetings
- 📂 GitHub Issues — Report bugs or request features
Contributors