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.125+ (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

• Installation
• Quick Start
• Built-in Agents
• Polish a draft — workflow example
• Models
• Custom Agents

Full docs at texra.ai/guide.

Support

Issues and feature requests: GitHub. Contact: [email protected].

License

© TeXRA Team 2025–2026. All rights reserved.

Terms of Service · Provider list