TeXRA
An open-source AI theorist for VS Code and the terminal. It attempts real
theory work: deriving results, checking derivations, formalizing proofs in
Lean 4. It takes on open problems in long autonomous runs, with a team of
specialist agents. Apache 2.0, and you bring your own model keys or
subscriptions.
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
Set <PROVIDER>_API_KEY to use your own credentials, sign in with a
ChatGPT or Grok subscription, or add the API key for a Kimi Code or
GLM Coding Plan subscription.
Hosted agent catalog
Academic researchers can sign in with GitHub or Google for
complimentary access to the hosted agent catalog — the Orchestrator
and the full roster of hosted specialists. Sign in through the
Profile view in VS Code, or texra login in the terminal. The agents
are free; their model calls run on your configured model credential,
the same as your built-in agents.
Access 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
Full docs at texra.ai/guide.
Support
Issues and feature requests: GitHub.
Contact: contact@texra.ai.
License
Licensed under the Apache License, Version 2.0.
© TeXRA Team 2024–2026.
Terms of Service · Provider list
