Best for
- Math-paper readers who need a strict separation between evidence and guesses
- Researchers who want an AI agent to help map theorems and dependencies inside a local workspace
- People who want reading artifacts as Markdown they can keep in Git or notes
- Users who want to review external references before importing them