@texra-ai/cli 0.38.5 → 0.38.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +14 -10
- package/dist/bin/texra.js +1181 -1721
- package/dist/resources/agents/polish.yaml +3 -3
- package/dist/resources/goal/goal.yaml +26 -0
- package/dist/resources/tool_use_agents/assistant.yaml +126 -0
- package/dist/resources/tool_use_agents/codeReviewer.yaml +57 -0
- package/dist/resources/tool_use_agents/codeSimplifier.yaml +64 -0
- package/dist/resources/tool_use_agents/coder.yaml +74 -0
- package/dist/resources/tool_use_agents/engineer.yaml +130 -0
- package/dist/resources/tool_use_agents/latexDiff.yaml +2 -1
- package/dist/resources/tool_use_agents/latexFixer.yaml +7 -2
- package/dist/resources/tool_use_agents/prover.yaml +89 -0
- package/dist/resources/tool_use_agents/research.yaml +1 -4
- package/dist/resources/tool_use_agents/review.yaml +1 -1
- package/dist/resources/tool_use_agents/setup.yaml +1 -1
- package/dist/resources/tool_use_agents/testEngineer.yaml +62 -0
- package/package.json +3 -3
- package/dist/resources/odyssey/odyssey.yaml +0 -56
- package/dist/resources/tool_use_agents/chat.yaml +0 -57
package/README.md
CHANGED
|
@@ -7,7 +7,7 @@
|
|
|
7
7
|
[](https://open-vsx.org/extension/texra-ai/texra)
|
|
8
8
|
[](https://open-vsx.org/extension/texra-ai/texra)
|
|
9
9
|
[](https://www.npmjs.com/package/@texra-ai/cli)
|
|
10
|
-
[](https://www.npmjs.com/package/@texra-ai/cli)
|
|
11
11
|
|
|
12
12
|
A LaTeX research assistant for VS Code and the terminal. Multi-agent
|
|
13
13
|
workflows for writing, reviewing, formalizing, and rendering academic
|
|
@@ -59,14 +59,15 @@ Run history and agent settings are shared between both surfaces.
|
|
|
59
59
|
|
|
60
60
|
## Teams
|
|
61
61
|
|
|
62
|
-
|
|
62
|
+
Five built-in presets cover the most common research disciplines:
|
|
63
63
|
|
|
64
|
-
| Team
|
|
65
|
-
|
|
|
66
|
-
| **Physicist**
|
|
67
|
-
| **Mathematician**
|
|
68
|
-
| **Computer Scientist
|
|
69
|
-
| **Lean Project**
|
|
64
|
+
| Team | Built for |
|
|
65
|
+
| ---------------------- | -------------------------------------------------------------------------------- |
|
|
66
|
+
| **Physicist** | Analytical derivations, numerical experiments, literature search, slide drafting |
|
|
67
|
+
| **Mathematician** | Attacking open problems, proofs, Lean 4 formalization, LaTeX correction |
|
|
68
|
+
| **Computer Scientist** | Algorithm design, code-driven experiments and ablations, tests, literature |
|
|
69
|
+
| **Lean Project** | Mathlib search, tactic simplification, blueprint-driven formalization |
|
|
70
|
+
| **Software Engineer** | An engineer lead delegating implementation, review, debugging, and testing |
|
|
70
71
|
|
|
71
72
|
Pick a team in **Settings → Multi-Agent**, or with `texra multi-agent
|
|
72
73
|
run <preset>`. Or define your own roster in YAML.
|
|
@@ -79,10 +80,13 @@ run <preset>`. Or define your own roster in YAML.
|
|
|
79
80
|
|
|
80
81
|
**Tool-use agents** work conversationally with file, shell, and search
|
|
81
82
|
access: `research`, `numerics`, `review`, `presenter`, `latexFixer`,
|
|
82
|
-
`latexDiff`, `creator`, `lean`, `
|
|
83
|
+
`latexDiff`, `creator`, `lean`, `assistant`, `setup`, plus a
|
|
84
|
+
software-engineering line — `engineer`, `coder`, `codeReviewer`,
|
|
85
|
+
`testEngineer`, `codeSimplifier`.
|
|
83
86
|
|
|
84
87
|
**Hosted specialists** (signed-in users): `orchestrator`, `search`,
|
|
85
|
-
`simplifier`, `criticize`, `
|
|
88
|
+
`simplifier`, `criticize`, `firstread`, `logic`, `notation`, `enhance`,
|
|
89
|
+
`elevate`, `humanize`, `devise`, `apply`, `verifyFix`, `generic`,
|
|
86
90
|
`progressCheck`, and the Lean line — `leanOrchestrator`,
|
|
87
91
|
`leanBlueprint`, `leanSearch`, `leanSimplifier`.
|
|
88
92
|
|