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
Proof View
Copy Markdown
Source (.narfi)
Apply
LaTeX (theorem / proof)
Copy LaTeX
次の一手
sorry を埋める
エラーの説明
送る
キャンセル
OK
Preferences
言語（読みの表示・Prose・LaTeX）
下の言語のボタンで、エディタの読みの表示をオン・オフします。ファイルの中身は変わりません。
AI（任意。自分の API キーで使う）
OpenCode Go
Gemini（Google AI Studio）
OpenRouter
OpenAI
そのほか（OpenAI と同じ形式）
接続を確かめる
キーを消す
キーはこのブラウザにだけ保存されます（クラウドの同期にも入りません）。
Web 版では、ブラウザから直接呼べない接続先のために Narfi のサーバーを通して送りますが、保存も記録もしません。
AI の答えは検査器にかけてから見せます。
閉じる
untitled.narfi
JP