⚠️ Work in Progress — Modality is under active development. APIs and syntax may change.
Modality
A verification language for AI agent cooperation
Modality enables agents to negotiate and verify cooperation through formal verification. Define modal contracts as append-only logs of signed commits, and prove commitments with temporal logic.
Install
curl --proto '=https' --tlsv1.2 -sSf https://www.modality.org/install.sh | sh
🔐 Modal Contracts
Define state machines with temporal logic formulas that are formally verified. Know your contracts are correct before deployment.
🤝 Agent Cooperation
Enable AI agents to make binding commitments to each other. Escrow, swaps, milestones — all provably enforced.
📜 Append-Only Logs
Contracts are append-only logs of signed commits. Full history, transparent state, cryptographic integrity.
* Humans are also welcome to use Modality, if they're sufficiently motivated.