(function (global) {
"use strict";
var chrome = global.FormalAiSiteChrome;
if (!chrome || typeof chrome.createChooser !== "function") {
return;
}
chrome.createChooser({
rootId: "landing-app",
topbarClass: "landing-topbar",
brandHref: "./",
repoUrl: "https://github.com/link-assistant/formal-ai",
exposeAs: "FormalAiLanding",
destinations: [
{ id: "app", href: "app/", icon: "🌐", titleKey: "navAppTitle", descKey: "navAppDesc", actionKey: "navAppAction" },
{ id: "docs", href: "docs/", icon: "📚", titleKey: "navDocsTitle", descKey: "navDocsDesc", actionKey: "navDocsAction" },
{ id: "download", href: "download/", icon: "⬇️", titleKey: "navDownloadTitle", descKey: "navDownloadDesc", actionKey: "navDownloadAction" },
{ id: "vscode", href: "vscode/", icon: "🧩", titleKey: "navVscodeTitle", descKey: "navVscodeDesc", actionKey: "navVscodeAction" },
{ id: "cli", href: "cli/", icon: "⌨️", titleKey: "navCliTitle", descKey: "navCliDesc", actionKey: "navCliAction" },
{ id: "telegram", href: "telegram/", icon: "💬", titleKey: "navTelegramTitle", descKey: "navTelegramDesc", actionKey: "navTelegramAction" },
],
copy: {
en: {
heading: "formal-ai",
eyebrow: "Local-first reasoning agent",
summary:
"A local, in-process formal-reasoning agent. Try it in your browser, read the documentation, or install the desktop app for macOS, Windows, and Linux.",
navAppTitle: "Web app",
navAppDesc: "Open the interactive formal-ai demo right in your browser.",
navAppAction: "Open the app",
navDocsTitle: "Documentation",
navDocsDesc: "Guides, the API reference, and how the project fits together.",
navDocsAction: "Read the docs",
navDownloadTitle: "Desktop app",
navDownloadDesc: "Download formal-ai Desktop for macOS, Windows, and Linux.",
navDownloadAction: "Get the desktop app",
navVscodeTitle: "VS Code extension",
navVscodeDesc: "Install the symbolic chat UI inside VS Code, manually or in one click.",
navVscodeAction: "Install for VS Code",
navCliTitle: "Command-line tool",
navCliDesc: "Run the agent from your shell and start an OpenAI-compatible server.",
navCliAction: "Install the CLI",
navTelegramTitle: "Telegram bot",
navTelegramDesc: "Run the symbolic agent as a Telegram bot from the CLI.",
navTelegramAction: "Set up the bot",
},
ru: {
heading: "formal-ai",
eyebrow: "Локальный агент рассуждений",
summary:
"Локальный агент формальных рассуждений, работающий в одном процессе. Откройте его в браузере, прочитайте документацию или установите настольное приложение для macOS, Windows и Linux.",
navAppTitle: "Веб-приложение",
navAppDesc: "Откройте интерактивную демонстрацию formal-ai прямо в браузере.",
navAppAction: "Открыть приложение",
navDocsTitle: "Документация",
navDocsDesc: "Руководства, справочник API и устройство проекта.",
navDocsAction: "Читать документацию",
navDownloadTitle: "Настольное приложение",
navDownloadDesc: "Скачайте formal-ai Desktop для macOS, Windows и Linux.",
navDownloadAction: "Скачать приложение",
navVscodeTitle: "Расширение VS Code",
navVscodeDesc: "Установите символьный чат в VS Code — вручную или одним кликом.",
navVscodeAction: "Установить для VS Code",
navCliTitle: "Инструмент командной строки",
navCliDesc: "Запускайте агент из терминала и поднимайте сервер, совместимый с OpenAI.",
navCliAction: "Установить CLI",
navTelegramTitle: "Telegram-бот",
navTelegramDesc: "Запустите символьный агент как Telegram-бота через CLI.",
navTelegramAction: "Настроить бота",
},
zh: {
heading: "formal-ai",
eyebrow: "本地优先的推理代理",
summary:
"一个在本地进程内运行的形式化推理代理。在浏览器中体验、阅读文档，或为 macOS、Windows 和 Linux 安装桌面应用。",
navAppTitle: "网页应用",
navAppDesc: "直接在浏览器中打开 formal-ai 交互式演示。",
navAppAction: "打开应用",
navDocsTitle: "文档",
navDocsDesc: "指南、API 参考以及整体架构说明。",
navDocsAction: "阅读文档",
navDownloadTitle: "桌面应用",
navDownloadDesc: "为 macOS、Windows 和 Linux 下载 formal-ai 桌面版。",
navDownloadAction: "获取桌面应用",
navVscodeTitle: "VS Code 扩展",
navVscodeDesc: "在 VS Code 中安装符号化聊天界面 —— 手动或一键安装。",
navVscodeAction: "为 VS Code 安装",
navCliTitle: "命令行工具",
navCliDesc: "从终端运行代理，并启动兼容 OpenAI 的本地服务器。",
navCliAction: "安装 CLI",
navTelegramTitle: "Telegram 机器人",
navTelegramDesc: "通过 CLI 将符号化代理作为 Telegram 机器人运行。",
navTelegramAction: "设置机器人",
},
hi: {
heading: "formal-ai",
eyebrow: "स्थानीय तर्क एजेंट",
summary:
"एक स्थानीय, इन-प्रोसेस फ़ॉर्मल-रीज़निंग एजेंट। इसे ब्राउज़र में आज़माएँ, दस्तावेज़ पढ़ें, या macOS, Windows और Linux के लिए डेस्कटॉप ऐप इंस्टॉल करें।",
navAppTitle: "वेब ऐप",
navAppDesc: "formal-ai का इंटरैक्टिव डेमो सीधे अपने ब्राउज़र में खोलें।",
navAppAction: "ऐप खोलें",
navDocsTitle: "दस्तावेज़",
navDocsDesc: "गाइड, API संदर्भ और पूरी संरचना की जानकारी।",
navDocsAction: "दस्तावेज़ पढ़ें",
navDownloadTitle: "डेस्कटॉप ऐप",
navDownloadDesc: "macOS, Windows और Linux के लिए formal-ai डेस्कटॉप डाउनलोड करें।",
navDownloadAction: "डेस्कटॉप ऐप लें",
navVscodeTitle: "VS Code एक्सटेंशन",
navVscodeDesc: "सिंबॉलिक चैट UI को VS Code में इंस्टॉल करें — मैन्युअल या एक क्लिक में।",
navVscodeAction: "VS Code के लिए इंस्टॉल करें",
navCliTitle: "कमांड-लाइन टूल",
navCliDesc: "एजेंट को अपने शेल से चलाएँ और OpenAI-संगत सर्वर शुरू करें।",
navCliAction: "CLI इंस्टॉल करें",
navTelegramTitle: "Telegram बॉट",
navTelegramDesc: "CLI से सिंबॉलिक एजेंट को Telegram बॉट के रूप में चलाएँ।",
navTelegramAction: "बॉट सेट करें",
},
},
});
})(typeof window !== "undefined" ? window : globalThis);