formal-ai Telegram bot

The symbolic agent as a Telegram bot, driven by the formal-ai CLI.

Install the CLI: cargo install formal-ai
One-line installer (macOS/Linux): curl -fsSL https://raw.githubusercontent.com/link-assistant/formal-ai/main/scripts/install.sh | sh -s -- cli
Create a bot with @BotFather, then run TELEGRAM_BOT_TOKEN=<token> formal-ai telegram.
All downloads