modality

Crates.iomodality
lib.rsmodality
version0.1.6
created_at2023-07-07 15:42:31.330973+00
updated_at2025-07-19 01:12:13.66479+00
descriptionCLI for Modality, an evolving temporal modal logic
homepagehttps://www.modality.org
repositoryhttps://github.com/modality-org/modality-rust
max_upload_size
id910884
size148,966
Foy Savas (foysavas)

documentation

https://docs.rs/modality

README

Modality 🦀 + ⲙ

Modality Banner

⚙️ Documentation | 🌟 Examples | 💬 Community


✨ Features

  • 🔑 Generate unique IDs with ease
  • 🔒 Securely manage secret keys
  • 🛠️ Simple and intuitive command-line interface
  • ⚡ Lightweight and fast Rust-based implementation

🎯 Use Cases

  • 🔐 Identity management
  • 📚 Formal Native Verificaiton
  • 🌐 Deploy Verifiable Contracts to Global Network

🚀 Quick Start

Prerequisites

Note for Windows Users: Use Windows Subsystem for Linux (WSL) for the best experience.

Installation

Clone the repository and build the project:

cargo install modality

Basic Commands

Help Command

modality help

Displays all available commands and usage details.


Create a New ID

modality create-id

Generates a unique ID and saves the associated private key securely.

Example Output:

✨ Successfully created a new Modality ID!
📍 Modality ID: 12D3KooWMRAdDAzYKfvPrN1R1Cf5fPC1iSLe37yUDV5FhEWsWABB
🔑 Modality Passfile saved to: ./12D3KooWMRAdDAzYKfvPrN1R1Cf5fPC1iSLe37yUDV5FhEWsWABB.mod_passfile

🚨🚨🚨  IMPORTANT: Keep your passfile file secure and never share it! 🚨🚨🚨

Advanced Usage

Checking Version

modality --version

Prints the current version of the CLI.


🌍 Community & Support


Contributors


Star History

Star History Chart

Commit count: 178

cargo fmt