NARFI
File
New
Open…
⌘O
Open Folder…
⇧⌘O
Save
⌘S
Save As…
⇧⌘S
Auto Save
PDF (LaTeX)
⇧⌘P
Print
⌘P
READY
workspace
Folder
Finder
Library
~/.narfi/lib
Goal
Prose (JP)
ASCII Code
LaTeX
AI
Context & Goal (
Ln 1
)
Declarations
Japanese Proof View
Copy Markdown
Underlying Pure ASCII Code (.narfi)
Apply Text Edits
LaTeX Output (theorem / proof)
Copy LaTeX
Provider
Auto (API Key / Local CLI)
OpenCode Go / OpenAI Compat
Gemini API
Anthropic API
claude CLI
gemini CLI
Suggest Next Step
Fill sorry
Explain Error
Send
untitled.narfi
JP