NARFI
File
New
New Folder
Open…
⌘O
Open Folder…
⇧⌘O
Reveal in Finder
Upload File…
⌘O
Upload Folder…
Download All (.zip)
Save
⌘S
Save As…
⇧⌘S
Auto Save
Export PDF (LaTeX)
⇧⌘P
Print
⌘P
Checking…
Files
Library
Goal
Prose
Source
LaTeX
AI
Learn
‹
›
Context & Goal (
Ln 1
)
Declarations
Japanese Proof View
Copy Markdown
Source (.narfi)
Apply
LaTeX (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
キャンセル
OK
untitled.narfi
JP