NARFI
Files
untitled.narfi
New
Open
Save
Save As
Auto Save: ON
JP Sugar View: OFF
PDF
Print
READY
Inspector
Light / Dark
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