βοΈ Docs | π Examples | π¬ Discord | π° Modal Money
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