#cli #id #command #modal #temporal #evolving #community

app modality

CLI for Modality, an evolving temporal modal logic

5 releases

0.1.5 Dec 16, 2024
0.1.4 Dec 13, 2024
0.1.0 Jul 7, 2023

#97 in Filesystem

Download history 6/week @ 2024-09-23 135/week @ 2024-12-02 348/week @ 2024-12-09 204/week @ 2024-12-16

687 downloads per month

MIT license

84KB
1.5K SLoC

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 Passkey saved to: ./12D3KooWMRAdDAzYKfvPrN1R1Cf5fPC1iSLe37yUDV5FhEWsWABB.mod_passkey

🚨🚨🚨  IMPORTANT: Keep your passkey 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

Dependencies

~29–65MB
~1M SLoC