Translator
Latest
Switch to Classic
Examples
Settings
API
Save
Reset
Test
checking…
BYOK (OpenRouter)
Save
Test LLM
Operation
Prompt → Spec (English → TCE)
Validate TCE
TCE → Tau
Spec → Prompt (TCE/Tau → English)
Spec Mode
auto
WFF
RR
Temporal Mode
Invariant (always ...)
Atemporal (no always)
Translate
Assist
Input
Output
Tau
TCE
Expl
Module
Copy
Analysis
intent · refined prompt · options
Detected intent
Refined prompt
Copy
Apply
Refined options
Disambiguate
Reasons / Errors
Translate
Assist
Copied
Examples
Close
Privacy
Privacy mode (strip BYOK/grammar content)
When enabled, private data (e.g., BYOK key, uploaded grammar contents) is never sent over the network.
Assist & Input
Enable symbol palette in Assist chat
Enable voice input (chat mic)
STT Language
English (US)
English (UK)
Español
Français
Deutsch
日本語
中文 (简体)
Constraints (LMQL‑lite)
Require prefix "always ("
Require closing ")"
Forbid colon (:)
Allowed connectives
Grammar source
None (server defaults)
Upload local grammar (.tgf/.lark/.json)
Use a hosted grammar reference
Attach to each request
Clear
Hosted grammar
Select…
TCE Minimal @ v1
SMT-LIB v2 (reference) @ v2
Z3 SMT2 (reference) @ v2
Lean 4 (reference) @ v1
TPTP (reference) @ v1
Sends a grammar reference (ID/version) to the server. The server decides which artifact to use.
Assistant
Remember chat (local)
Close
🔁 always
➕ &&
🔀 ||
➡️ ->
en-US
en-GB
es-ES
fr-FR
🎤
Send