TeXRA
An AI theorist for VS Code and the terminal. Multi-agent
workflows for writing, reviewing, formalizing, and rendering academic
work — with every change returned as a diff you approve.
Install
# VS Code (or Cursor, Windsurf, Antigravity)
code --install-extension texra-ai.texra
# Terminal — requires Node.js >=22.9.0
npm install -g @texra-ai/cli
# Or via Homebrew (macOS / Linux)
brew install texra-ai/tap/texra
Sign in with GitHub or Google for hosted access (no key management
required), or set <PROVIDER>_API_KEY to use your own credentials.
Researcher Access Program
Academic researchers can sign in for complimentary hosted access to
a curated set of budget-friendly models — enough to run the
Orchestrator and the full roster of hosted specialists on real work,
without managing provider keys or paying per-token rates. Sign in
through the Profile view in VS Code, or texra login in the
terminal.
The program is sustained by the community. If TeXRA helps your
research, consider supporting it via
GitHub Sponsors or
Buy Me a Coffee to keep it open
for everyone.
Run
In VS Code: open a .tex file, click the TeXRA icon, pick
Orchestrator or another agent, type a task. The Setup Wizard runs
on first launch and checks your environment.
In the terminal:
texra chat # interactive tool-use session
texra run polish --input paper.tex # one-shot workflow
texra multi-agent run physicist --instruction "Check this derivation" # named team
Run history and agent settings are shared between both surfaces.
Teams
Five built-in presets cover the most common research disciplines:
| Team |
Built for |
| Physicist |
Analytical derivations, numerical experiments, literature search, slide drafting |
| Mathematician |
Attacking open problems, proofs, Lean 4 formalization, LaTeX correction |
| Computer Scientist |
Algorithm design, code-driven experiments and ablations, tests, literature |
| Lean Project |
Mathlib search, tactic simplification, blueprint-driven formalization |
| Software Engineer |
An engineer lead delegating implementation, review, debugging, and testing |
Pick a team in Settings → Multi-Agent, or with texra multi-agent run <preset>. Or define your own roster in YAML.
Agents
Workflow agents write to disk and produce reviewable diffs:
polish, correct, merge, ocr, transcribe_audio, paper2slide,
paper2poster.
Tool-use agents work conversationally with file, shell, and search
access: research, numerics, review, presenter, latexFixer,
latexDiff, creator, lean, assistant, setup, plus a
software-engineering line — engineer, coder, codeReviewer,
testEngineer, codeSimplifier.
Hosted specialists (signed-in users): orchestrator, search,
simplifier, criticize, firstread, logic, notation, enhance,
elevate, humanize, devise, apply, verifyFix, generic,
progressCheck, and the Lean line — leanOrchestrator,
leanBlueprint, leanSearch, leanSimplifier.
Every tool call is gated by per-stream approval. Optional YOLO mode
skips approval for autonomous runs.
Models
Bring your own keys for OpenAI, Anthropic, Google Gemini, DeepSeek,
xAI Grok, Moonshot Kimi, Alibaba Qwen, Zhipu GLM, MiniMax, OpenRouter,
or any OpenAI-compatible endpoint. Each agent in a team can run a
different model — pair a flagship reasoner for orchestration with
cheaper, faster models for routine sub-tasks.
In the extension, run TeXRA: Set API Key (stored in VS Code's
encrypted SecretStorage) or add a workspace .env:
OPENAI_API_KEY=…
ANTHROPIC_API_KEY=…
GOOGLE_API_KEY=…
In the CLI, export the same variables in your shell and run with
--api-mode personal.
Requirements
- VS Code 1.105+ (also runs in Cursor, Windsurf, Antigravity), or
Node.js >=22.9.0 for the CLI
- LaTeX distribution (TeX Live, MiKTeX, or MacTeX)
- Perl (for
latexindent and latexdiff)
- Optional: ImageMagick + Ghostscript (for PDF/image processing),
git, gh, Codex CLI, Lean 4 + lake
The Setup Wizard checks for and helps install most of the above.
Documentation
Full docs at texra.ai/guide.
Support
Issues and feature requests: GitHub.
Contact: contact@texra.ai.
License
© TeXRA Team 2025–2026. All rights reserved.
Terms of Service · Provider list
