@texra-ai/cli 0.38.6 → 0.38.8

package/README.md

@@ -9,7 +9,7 @@
 [![npm version](https://img.shields.io/npm/v/@texra-ai/cli?label=%40texra-ai%2Fcli)](https://www.npmjs.com/package/@texra-ai/cli)
 [![CLI downloads](https://img.shields.io/npm/dm/@texra-ai/cli?label=CLI%20downloads)](https://www.npmjs.com/package/@texra-ai/cli)
 
-A LaTeX research assistant for VS Code and the terminal. Multi-agent
+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.
 
@@ -21,6 +21,9 @@ 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
@@ -59,14 +62,15 @@ Run history and agent settings are shared between both surfaces.
 
 ## Teams
 
-Four built-in presets cover the most common research disciplines:
+Five built-in presets cover the most common research disciplines:
 
-| Team                        | Built for                                                                        |
-| --------------------------- | -------------------------------------------------------------------------------- |
-| **Physicist**               | Analytical derivations, numerical experiments, literature search, slide drafting |
-| **Mathematician**           | Proofs, Lean 4 formalization, research, LaTeX correction                         |
-| **Computer Scientist (ML)** | Algorithm design, experiments and ablations, literature, reproducibility         |
-| **Lean Project**            | Mathlib search, tactic simplification, blueprint-driven formalization            |
+| 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.
@@ -79,10 +83,13 @@ run <preset>`. Or define your own roster in YAML.
 
 **Tool-use agents** work conversationally with file, shell, and search
 access: `research`, `numerics`, `review`, `presenter`, `latexFixer`,
-`latexDiff`, `creator`, `lean`, `chat`, `setup`.
+`latexDiff`, `creator`, `lean`, `assistant`, `setup`, plus a
+software-engineering line — `engineer`, `coder`, `codeReviewer`,
+`testEngineer`, `codeSimplifier`.
 
 **Hosted specialists** (signed-in users): `orchestrator`, `search`,
-`simplifier`, `criticize`, `devise`, `apply`, `generic`,
+`simplifier`, `criticize`, `firstread`, `logic`, `notation`, `enhance`,
+`elevate`, `humanize`, `devise`, `apply`, `verifyFix`, `generic`,
 `progressCheck`, and the Lean line — `leanOrchestrator`,
 `leanBlueprint`, `leanSearch`, `leanSimplifier`.