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.

Development on main targets TeXRA 1.0 (work in progress, not the currently published release), which reorganizes the interface around projects, stores application state in SQLite, and runs asynchronous execution on Effect (see the 1.0 development direction). Version 1.0 starts with fresh application state and does not migrate previous JSON settings, session histories, or execution checkpoints; research files in your project are untouched.

Install

# VS Code (or Cursor, Windsurf, Antigravity)
code --install-extension texra-ai.texra

# Terminal: requires Node.js 22.19.0 or later in 22.x, or Node.js 24 or later
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…