formal-ai 0.214.0

Formal symbolic AI implementation with OpenAI-compatible APIs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
# Desktop tool-permission and Services UI translations (issue #511/#514).
# Split out of i18n-catalog.lino to stay under the Links Notation line limit.
# The loader (src/web/i18n.js) fetches this file and i18n-catalog.lino and
# merges their per-locale keys; tests/e2e/scripts/check-i18n-catalog.mjs enforces parity.

en
  permissions
    tool
      http_fetch
        label "HTTP fetch"
        description "Fetch an HTTP(S) URL through the local process."
      url_navigate
        label "URL navigate"
        description "Open or inspect a URL through the local process."
      eval_js
        label "Evaluate JS"
        description "Run JavaScript inside the sandbox."
      read_local_file
        label "Read local file"
        description "Read a file from the allowed local workspace."
      code_exec
        label "Code exec"
        description "Run code inside the Docker sandbox."
      shell
        label "Shell"
        description "Run a shell command on the host machine."
    panel
      title "Desktop tool permissions"
      active "Agent tools active"
      saved "Saved for Agent mode"
      rowLabel "Permissions"
    state
      granted "Granted"
      declined "Declined"
      undecided "Not decided"
    action
      grant "Grant"
      decline "Decline"
      grantAll "Grant all and switch to Agent mode"
      grantAllAndRun "Grant all, switch to Agent mode, and run pending task"
    toolCount "{granted}/{total} tools granted"
    command
      title "Shell command request"
      approve "Approve"
      deny "Deny"
      status
        pending "Pending"
        running "Running"
        approved "Approved"
        denied "Denied"
    onboarding
      intro "Agent and Full Auto use explicit desktop permissions."
      perTool "Grant or decline each tool separately."
      modes "Agent asks before each shell command; Full Auto skips per-command prompts but still only runs granted tools."
    message
      shellRan "Ran shell command in {mode} mode: `{command}`."
      shellNotRun "Shell command was not run: `{command}`."
      shellNotGranted "The `shell` tool is not granted. Grant `shell` in the desktop permission panel, then send the command again."
      approvalPrompt "Approve this shell command before it runs:"
      commandDeclined "Command declined: `{command}`. No shell command ran."
      noOutput "(no output)"
      reasonNoResult "desktop tool router returned no result"
      reasonRefused "desktop tool router refused the request"
  services
    title "Services"
    telegram
      label "Telegram bot"
    server
      label "OpenAI-compatible server"
    agent
      label "Agent environment"
    dockerMissing "Docker is not available. Install Docker Desktop to start the prepared containers."
    installAgent "Install agent environment"
    installing "Installing…"
    start "Start"
    starting "Starting…"
    stop "Stop"
    stopping "Stopping…"
    state
      ready "ready"
      running "running"
      stopped "stopped"
      needsToken "needs token"
      dockerUnavailable "Docker unavailable"
      error "error"
      unknown "unknown"
  updates
    title "Updates"
    currentVersion "Version"
    check "Check"
    checking "Checking..."
    update "Update"
    updating "Updating..."
    progress "{percent}% downloaded"
    state
      idle "Ready to check"
      checking "Checking for updates"
      available "Update {version} available"
      notAvailable "Up to date"
      downloading "Downloading update"
      downloaded "Ready to restart"
      installing "Installing update"
      disabled "Unavailable"
      error "Update error"

ru
  permissions
    tool
      http_fetch
        label "HTTP-запрос"
        description "Загрузить HTTP(S)-адрес через локальный процесс."
      url_navigate
        label "Переход по URL"
        description "Открыть или просмотреть URL через локальный процесс."
      eval_js
        label "Выполнить JS"
        description "Запустить JavaScript в песочнице."
      read_local_file
        label "Чтение локального файла"
        description "Прочитать файл из разрешённого локального рабочего пространства."
      code_exec
        label "Выполнение кода"
        description "Запустить код в песочнице Docker."
      shell
        label "Оболочка"
        description "Выполнить команду оболочки на хост-машине."
    panel
      title "Разрешения инструментов рабочего стола"
      active "Инструменты агента активны"
      saved "Сохранено для режима агента"
      rowLabel "Разрешения"
    state
      granted "Предоставлено"
      declined "Отклонено"
      undecided "Не решено"
    action
      grant "Предоставить"
      decline "Отклонить"
      grantAll "Предоставить все и включить режим агента"
      grantAllAndRun "Предоставить все, включить режим агента и выполнить отложенную задачу"
    toolCount "Предоставлено инструментов: {granted}/{total}"
    command
      title "Запрос команды оболочки"
      approve "Одобрить"
      deny "Отклонить"
      status
        pending "Ожидает"
        running "Выполняется"
        approved "Одобрено"
        denied "Отклонено"
    onboarding
      intro "Агент и Авто используют явные разрешения рабочего стола."
      perTool "Предоставьте или отклоните каждый инструмент отдельно."
      modes "Агент спрашивает перед каждой командой оболочки; Авто пропускает запросы по каждой команде, но всё равно запускает только разрешённые инструменты."
    message
      shellRan "Команда оболочки выполнена в режиме {mode}: `{command}`."
      shellNotRun "Команда оболочки не выполнена: `{command}`."
      shellNotGranted "Инструмент `shell` не предоставлен. Предоставьте `shell` на панели разрешений рабочего стола и отправьте команду снова."
      approvalPrompt "Одобрите эту команду оболочки перед запуском:"
      commandDeclined "Команда отклонена: `{command}`. Команда оболочки не выполнялась."
      noOutput "(нет вывода)"
      reasonNoResult "маршрутизатор инструментов рабочего стола не вернул результат"
      reasonRefused "маршрутизатор инструментов рабочего стола отклонил запрос"
  services
    title "Сервисы"
    telegram
      label "Telegram-бот"
    server
      label "OpenAI-совместимый сервер"
    agent
      label "Среда агента"
    dockerMissing "Docker недоступен. Установите Docker Desktop, чтобы запускать подготовленные контейнеры."
    installAgent "Установить среду агента"
    installing "Установка…"
    start "Запустить"
    starting "Запуск…"
    stop "Остановить"
    stopping "Остановка…"
    state
      ready "готова"
      running "работает"
      stopped "остановлен"
      needsToken "нужен токен"
      dockerUnavailable "Docker недоступен"
      error "ошибка"
      unknown "неизвестно"
  updates
    title "Обновления"
    currentVersion "Версия"
    check "Проверить"
    checking "Проверка..."
    update "Обновить"
    updating "Обновление..."
    progress "Загружено {percent}%"
    state
      idle "Готово к проверке"
      checking "Проверка обновлений"
      available "Доступно обновление {version}"
      notAvailable "Актуальная версия"
      downloading "Загрузка обновления"
      downloaded "Готово к перезапуску"
      installing "Установка обновления"
      disabled "Недоступно"
      error "Ошибка обновления"

zh
  permissions
    tool
      http_fetch
        label "HTTP 获取"
        description "通过本地进程获取 HTTP(S) 网址。"
      url_navigate
        label "URL 导航"
        description "通过本地进程打开或检查网址。"
      eval_js
        label "执行 JS"
        description "在沙箱中运行 JavaScript。"
      read_local_file
        label "读取本地文件"
        description "从允许的本地工作区读取文件。"
      code_exec
        label "执行代码"
        description "在 Docker 沙箱中运行代码。"
      shell
        label "Shell"
        description "在主机上运行 shell 命令。"
    panel
      title "桌面工具权限"
      active "代理工具已激活"
      saved "已为代理模式保存"
      rowLabel "权限"
    state
      granted "已授予"
      declined "已拒绝"
      undecided "未决定"
    action
      grant "授予"
      decline "拒绝"
      grantAll "全部授予并切换到代理模式"
      grantAllAndRun "全部授予、切换到代理模式并执行待处理任务"
    toolCount "已授予 {granted}/{total} 个工具"
    command
      title "Shell 命令请求"
      approve "批准"
      deny "拒绝"
      status
        pending "待处理"
        running "运行中"
        approved "已批准"
        denied "已拒绝"
    onboarding
      intro "代理和全自动使用明确的桌面权限。"
      perTool "分别授予或拒绝每个工具。"
      modes "代理在每个 shell 命令前询问;全自动跳过逐条命令提示,但仍然只运行已授予的工具。"
    message
      shellRan "已在 {mode} 模式下运行 shell 命令:`{command}`。"
      shellNotRun "shell 命令未运行:`{command}`。"
      shellNotGranted "未授予 `shell` 工具。请在桌面权限面板中授予 `shell`,然后再次发送命令。"
      approvalPrompt "在运行此 shell 命令前请批准:"
      commandDeclined "命令已拒绝:`{command}`。没有运行任何 shell 命令。"
      noOutput "(无输出)"
      reasonNoResult "桌面工具路由器未返回结果"
      reasonRefused "桌面工具路由器拒绝了该请求"
  services
    title "服务"
    telegram
      label "Telegram 机器人"
    server
      label "OpenAI 兼容服务器"
    agent
      label "代理环境"
    dockerMissing "Docker 不可用。请安装 Docker Desktop 以启动预配置的容器。"
    installAgent "安装代理环境"
    installing "正在安装…"
    start "启动"
    starting "正在启动…"
    stop "停止"
    stopping "正在停止…"
    state
      ready "就绪"
      running "运行中"
      stopped "已停止"
      needsToken "需要令牌"
      dockerUnavailable "Docker 不可用"
      error "错误"
      unknown "未知"
  updates
    title "更新"
    currentVersion "版本"
    check "检查"
    checking "正在检查..."
    update "更新"
    updating "正在更新..."
    progress "已下载 {percent}%"
    state
      idle "可检查更新"
      checking "正在检查更新"
      available "有可用更新 {version}"
      notAvailable "已是最新"
      downloading "正在下载更新"
      downloaded "可重启更新"
      installing "正在安装更新"
      disabled "不可用"
      error "更新错误"

hi
  permissions
    tool
      http_fetch
        label "HTTP फ़ेच"
        description "लोकल प्रोसेस के ज़रिए एक HTTP(S) URL फ़ेच करें।"
      url_navigate
        label "URL नेविगेट"
        description "लोकल प्रोसेस के ज़रिए एक URL खोलें या जाँचें।"
      eval_js
        label "JS चलाएँ"
        description "सैंडबॉक्स में JavaScript चलाएँ।"
      read_local_file
        label "लोकल फ़ाइल पढ़ें"
        description "अनुमत लोकल वर्कस्पेस से एक फ़ाइल पढ़ें।"
      code_exec
        label "कोड चलाएँ"
        description "Docker सैंडबॉक्स में कोड चलाएँ।"
      shell
        label "शेल"
        description "होस्ट मशीन पर एक शेल कमांड चलाएँ।"
    panel
      title "डेस्कटॉप टूल अनुमतियाँ"
      active "एजेंट टूल सक्रिय"
      saved "एजेंट मोड के लिए सहेजा गया"
      rowLabel "अनुमतियाँ"
    state
      granted "प्रदान किया"
      declined "अस्वीकृत"
      undecided "तय नहीं"
    action
      grant "प्रदान करें"
      decline "अस्वीकार करें"
      grantAll "सभी प्रदान करें और एजेंट मोड पर स्विच करें"
      grantAllAndRun "सभी प्रदान करें, एजेंट मोड पर स्विच करें और लंबित कार्य चलाएँ"
    toolCount "{granted}/{total} टूल प्रदान किए गए"
    command
      title "शेल कमांड अनुरोध"
      approve "स्वीकृत करें"
      deny "अस्वीकार करें"
      status
        pending "लंबित"
        running "चल रहा है"
        approved "स्वीकृत"
        denied "अस्वीकृत"
    onboarding
      intro "एजेंट और फुल ऑटो स्पष्ट डेस्कटॉप अनुमतियों का उपयोग करते हैं।"
      perTool "हर टूल को अलग-अलग प्रदान या अस्वीकार करें।"
      modes "एजेंट हर शेल कमांड से पहले पूछता है; फुल ऑटो हर-कमांड प्रॉम्प्ट छोड़ देता है पर फिर भी केवल प्रदान किए गए टूल ही चलाता है।"
    message
      shellRan "{mode} मोड में शेल कमांड चलाई गई: `{command}`।"
      shellNotRun "शेल कमांड नहीं चलाई गई: `{command}`।"
      shellNotGranted "`shell` टूल प्रदान नहीं किया गया है। डेस्कटॉप अनुमति पैनल में `shell` प्रदान करें, फिर कमांड दोबारा भेजें।"
      approvalPrompt "इस शेल कमांड को चलने से पहले स्वीकृत करें:"
      commandDeclined "कमांड अस्वीकृत: `{command}`। कोई शेल कमांड नहीं चली।"
      noOutput "(कोई आउटपुट नहीं)"
      reasonNoResult "डेस्कटॉप टूल राउटर ने कोई परिणाम नहीं लौटाया"
      reasonRefused "डेस्कटॉप टूल राउटर ने अनुरोध अस्वीकार कर दिया"
  services
    title "सेवाएँ"
    telegram
      label "Telegram बॉट"
    server
      label "OpenAI-संगत सर्वर"
    agent
      label "एजेंट वातावरण"
    dockerMissing "Docker उपलब्ध नहीं है। तैयार कंटेनर शुरू करने के लिए Docker Desktop इंस्टॉल करें।"
    installAgent "एजेंट वातावरण इंस्टॉल करें"
    installing "इंस्टॉल हो रहा है…"
    start "शुरू करें"
    starting "शुरू हो रहा है…"
    stop "रोकें"
    stopping "रुक रहा है…"
    state
      ready "तैयार"
      running "चल रहा है"
      stopped "रुका हुआ"
      needsToken "टोकन चाहिए"
      dockerUnavailable "Docker उपलब्ध नहीं"
      error "त्रुटि"
      unknown "अज्ञात"
  updates
    title "अपडेट"
    currentVersion "संस्करण"
    check "जाँचें"
    checking "जाँच हो रही है..."
    update "अपडेट"
    updating "अपडेट हो रहा है..."
    progress "{percent}% डाउनलोड हुआ"
    state
      idle "जाँच के लिए तैयार"
      checking "अपडेट की जाँच हो रही है"
      available "अपडेट {version} उपलब्ध है"
      notAvailable "नवीनतम है"
      downloading "अपडेट डाउनलोड हो रहा है"
      downloaded "रीस्टार्ट के लिए तैयार"
      installing "अपडेट इंस्टॉल हो रहा है"
      disabled "अनुपलब्ध"
      error "अपडेट त्रुटि"