Modality ⲙ

<div align="center"> <img src="https://raw.githubusercontent.com/modality-org/modality/main/sites/www.modality.org/static/img/modality-social-card.png" alt="Modality Banner" width="600" /> </div> <div align="center">

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

</div>

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

---

<div align="center">

Contributors

<a href="https://github.com/modality-org/modality/graphs/contributors"><img src="https://contrib.rocks/image?repo=modality-org/modality" /></a>

</div>