Modality ⲙ

⚙️ Docs | 🌟 Examples | 💬 Discord | 💰 Modal Money

What is Modality?

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.}

Quick Start

curl --proto '=https' --tlsv1.2 -sSf https://www.modality.org/install.sh | sh

Use Cases

• 🔐 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

Documentation

• 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

Development

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.

Roadmap

• Milestones
• Issues

Community

• 💬 Discord — Chat and community meetings
• 📂 GitHub Issues — Report bugs or request features

---

Contributors