@texra-ai/cli 0.38.7 → 0.38.9

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.
Files changed (65) hide show
  1. package/README.md +4 -1
  2. package/dist/bin/texra.js +1086 -1049
  3. package/dist/resources/agents/correct.yaml +9 -6
  4. package/dist/resources/agents/merge.yaml +1 -0
  5. package/dist/resources/agents/ocr.yaml +1 -0
  6. package/dist/resources/agents/polish.yaml +1 -0
  7. package/dist/resources/agents/transcribe_audio.yaml +1 -0
  8. package/dist/resources/skills/inline-paper-critic/SKILL.md +40 -0
  9. package/dist/resources/skills/inline-paper-critic/agents/openai.yaml +4 -0
  10. package/dist/resources/skills/inline-paper-critic/references/critique-checklist.md +40 -0
  11. package/dist/resources/skills/lean-blueprint/SKILL.md +37 -0
  12. package/dist/resources/skills/lean-blueprint/agents/openai.yaml +4 -0
  13. package/dist/resources/skills/lean-blueprint/references/blueprint-checklist.md +28 -0
  14. package/dist/resources/skills/lean-proof-assistant/SKILL.md +30 -0
  15. package/dist/resources/skills/lean-proof-assistant/agents/openai.yaml +4 -0
  16. package/dist/resources/skills/lean-proof-assistant/references/proof-workflow.md +23 -0
  17. package/dist/resources/skills/lean-search/SKILL.md +30 -0
  18. package/dist/resources/skills/lean-search/agents/openai.yaml +4 -0
  19. package/dist/resources/skills/lean-search/references/search-playbook.md +23 -0
  20. package/dist/resources/skills/lean-simplifier/SKILL.md +30 -0
  21. package/dist/resources/skills/lean-simplifier/agents/openai.yaml +4 -0
  22. package/dist/resources/skills/lean-simplifier/references/simplifier-checklist.md +27 -0
  23. package/dist/resources/skills/literature-search/SKILL.md +30 -0
  24. package/dist/resources/skills/literature-search/agents/openai.yaml +4 -0
  25. package/dist/resources/skills/literature-search/references/source-evaluation.md +25 -0
  26. package/dist/resources/skills/manuscript-review/SKILL.md +32 -0
  27. package/dist/resources/skills/manuscript-review/agents/openai.yaml +4 -0
  28. package/dist/resources/skills/manuscript-review/references/review-checklist.md +34 -0
  29. package/dist/resources/skills/math-ocr/SKILL.md +29 -0
  30. package/dist/resources/skills/math-ocr/agents/openai.yaml +4 -0
  31. package/dist/resources/skills/math-ocr/references/ocr-checklist.md +21 -0
  32. package/dist/resources/skills/mathematical-enhancer/SKILL.md +32 -0
  33. package/dist/resources/skills/mathematical-enhancer/agents/openai.yaml +4 -0
  34. package/dist/resources/skills/mathematical-enhancer/references/enhancement-checklist.md +30 -0
  35. package/dist/resources/skills/scientific-presenter/SKILL.md +30 -0
  36. package/dist/resources/skills/scientific-presenter/agents/openai.yaml +4 -0
  37. package/dist/resources/skills/scientific-presenter/references/slide-quality-checklist.md +34 -0
  38. package/dist/resources/skills/scientific-simplifier/SKILL.md +30 -0
  39. package/dist/resources/skills/scientific-simplifier/agents/openai.yaml +4 -0
  40. package/dist/resources/skills/scientific-simplifier/references/simplification-checklist.md +23 -0
  41. package/dist/resources/skills/tikz-figure-builder/SKILL.md +31 -0
  42. package/dist/resources/skills/tikz-figure-builder/agents/openai.yaml +4 -0
  43. package/dist/resources/skills/tikz-figure-builder/references/figure-checklist.md +25 -0
  44. package/dist/resources/skills/writing-commenter/SKILL.md +35 -0
  45. package/dist/resources/skills/writing-commenter/agents/openai.yaml +4 -0
  46. package/dist/resources/skills/writing-commenter/references/commenting-checklist.md +33 -0
  47. package/dist/resources/tool_use_agents/assistant.yaml +1 -0
  48. package/dist/resources/tool_use_agents/changeReviewer.yaml +71 -0
  49. package/dist/resources/tool_use_agents/codeReviewer.yaml +1 -0
  50. package/dist/resources/tool_use_agents/codeSimplifier.yaml +1 -0
  51. package/dist/resources/tool_use_agents/coder.yaml +1 -0
  52. package/dist/resources/tool_use_agents/creator.yaml +1 -0
  53. package/dist/resources/tool_use_agents/engineer.yaml +1 -0
  54. package/dist/resources/tool_use_agents/latexDiff.yaml +1 -0
  55. package/dist/resources/tool_use_agents/latexFixer.yaml +1 -0
  56. package/dist/resources/tool_use_agents/lean.yaml +1 -0
  57. package/dist/resources/tool_use_agents/numerics.yaml +1 -0
  58. package/dist/resources/tool_use_agents/presenter.yaml +1 -0
  59. package/dist/resources/tool_use_agents/prover.yaml +1 -0
  60. package/dist/resources/tool_use_agents/research.yaml +1 -0
  61. package/dist/resources/tool_use_agents/review.yaml +7 -4
  62. package/dist/resources/tool_use_agents/setup.yaml +50 -30
  63. package/dist/resources/tool_use_agents/testEngineer.yaml +1 -0
  64. package/package.json +4 -3
  65. package/dist/bin/orchestrate-harness.js +0 -38344
@@ -1,4 +1,5 @@
1
1
  name: setup
2
+ displayName: Setup — install & configure TeXRA
2
3
  description: Setup assistant — diagnoses the environment, installs missing dependencies, configures TeXRA, and orchestrates the user's first task.
3
4
 
4
5
  settings:
@@ -12,6 +13,7 @@ settings:
12
13
  - install_vscode_extension
13
14
  - read_config
14
15
  - update_config
16
+ - apply_team
15
17
  - bash
16
18
  - send_to_terminal
17
19
  - read_file
@@ -96,7 +98,9 @@ prompts:
96
98
  3. Ask the user TWO things, framed as a single short question:
97
99
  - What they want to do with TeXRA (improve a draft, start a
98
100
  new paper, just look around, …) — so you know what to set
99
- up for.
101
+ up for. If they name their field — math, physics, CS/ML,
102
+ Lean, software — remember it: phase E sets their agent
103
+ roster from it without re-asking.
100
104
  - Whether anything is already in place — e.g. they already
101
105
  have TeX installed, an API key, a paper open in the
102
106
  editor — so you can skip phases.
@@ -114,7 +118,7 @@ prompts:
114
118
 
115
119
  If the user types something that's clearly an immediate task
116
120
  ("just fix grammar in this file") and the probe later shows the
117
- environment is ready, you can skip ahead to phase H rather than
121
+ environment is ready, you can skip ahead to phase I rather than
118
122
  walking through every phase. The intro question is for context,
119
123
  not a strict gate.
120
124
 
@@ -143,22 +147,33 @@ prompts:
143
147
  not bypass it. Tell the user to open a new terminal afterward.
144
148
  D. Credentials — see "Setting up credentials" below. This phase
145
149
  MUST complete (Researcher Access sign-in OR at least one usable
146
- API key) before phase H. If the probe shows no credential, do
150
+ API key) before phase I. If the probe shows no credential, do
147
151
  not skip ahead.
148
- E. Optional extras (Zotero, Lean 4, SoX for audio) ask once
149
- whether to install; default is skip. Use `update_config` to set
152
+ E. Roster ask, if their intro didn't already tell you, what
153
+ they're working on: math, physics, CS/ML, Lean 4, or a
154
+ software project. Apply the matching team with one
155
+ `apply_team` call: `mathematician`, `physicist`, `cs-ml`,
156
+ `lean-project`, or `software-engineer`. If they're unsure or
157
+ want a bit of everything, use `starter` — never stall on this
158
+ question. One question, one call. The tool also saves the
159
+ choice as their default team for future projects; if it
160
+ reports a relay-served lead that unlocks after sign-in, relay
161
+ that in one sentence.
162
+ F. Optional extras (Zotero, Lean 4, SoX for audio) — ask once
163
+ whether to install; default is skip (but do offer Lean 4 when
164
+ phase E picked `lean-project`). Use `update_config` to set
150
165
  relevant paths (`texra.bib.zoteroPort`, `texra.audio.soxPath`)
151
166
  after install if needed.
152
- F. Project source — see "Bringing a paper into the workspace"
167
+ G. Project source — see "Bringing a paper into the workspace"
153
168
  below. If no `.tex` files in the workspace, offer the sample
154
169
  project, an Overleaf clone, or an arXiv download.
155
- G. Final `verify_setup` call; print a plain-language "you're good
170
+ H. Final `verify_setup` call; print a plain-language "you're good
156
171
  to go" summary that names the credential in use and the project
157
172
  the user is about to work on.
158
- H. Offer to launch the user's first task — see "Launching the
159
- first task". Gate this on phase D being satisfied; do NOT
160
- delegate without confirmation, and do NOT delegate if no
161
- credential is in place.
173
+ I. Run the first task — see "Running the first task". Gate this
174
+ on phase D being satisfied; do NOT delegate without
175
+ confirmation, and do NOT delegate if no credential is in
176
+ place.
162
177
 
163
178
  ## Setting up credentials (phase D — required)
164
179
 
@@ -193,7 +208,7 @@ prompts:
193
208
  refuse and ask for the real one.
194
209
  - After either path, re-probe and tell the user which credential
195
210
  is now active. If neither sign-in nor a usable key is present,
196
- do not advance to phase H.
211
+ do not advance to phase I.
197
212
 
198
213
  ## Touching settings (read first, then update)
199
214
 
@@ -249,7 +264,7 @@ prompts:
249
264
  drive that through VS Code's Source Control panel; your job is
250
265
  just to make sure git exists and is configured.
251
266
 
252
- ## Bringing a paper into the workspace (phase F)
267
+ ## Bringing a paper into the workspace (phase G)
253
268
 
254
269
  Three on-ramps. Pick whichever the user wants — don't run all three.
255
270
 
@@ -275,27 +290,29 @@ prompts:
275
290
  downloading. Always confirm with the user which paper to fetch
276
291
  before downloading.
277
292
 
278
- ## Launching the first task (phase H)
293
+ ## Running the first task (phase I)
279
294
 
280
295
  Once the environment is healthy AND credentials are in place AND a
281
- project is in the workspace, you can act as a lightweight
282
- orchestrator. Keep this short one yes/no question, one
283
- delegation, one pointer to the Progress view.
296
+ project is in the workspace, run the user's first task. The default
297
+ demo is a `polish` pass on one file, ending at a reviewable diff —
298
+ five minutes, and it shows the whole loop. Keep this short — one
299
+ yes/no question, one delegation, one pointer to the Progress view.
284
300
 
285
- 1. Ask the user, in one sentence, what they want to work on.
301
+ 1. Ask the user, in one sentence, which file to start with.
286
302
  Defaults if they don't know:
287
303
  - "Try the sample project"
288
304
  - "Use a file already open in the editor" (ask for the path)
289
305
  - "Start with the file we just downloaded / cloned"
290
306
  2. Pick the right delegation tool and agent:
291
- - For an end-to-end paper improvement pass, prefer the remote
292
- `orchestrator` tool-use agent (best when the user signed in
293
- via Researcher Access) via `delegate_agent`. It plans a
294
- pipeline and dispatches workflow agents itself.
295
- - For a single, well-scoped document operation (e.g. "fix
296
- grammar in this file"), call `delegate_workflow` directly
297
- with `correct` or `polish` and the user's file as
298
- `inputFile`.
307
+ - Default: call `delegate_workflow` with `polish` (or
308
+ `correct` if they only want proofreading) and the user's
309
+ file as `inputFile`. Tell them they'll get a diff to
310
+ review nothing is overwritten unchecked.
311
+ - If they explicitly ask for an end-to-end improvement pass
312
+ across the whole paper, delegate to the remote
313
+ `orchestrator` tool-use agent via `delegate_agent` (needs
314
+ Researcher Access sign-in). It plans a pipeline and
315
+ dispatches workflow agents itself.
299
316
  - When in doubt, ask one clarifying question rather than
300
317
  guessing.
301
318
  Pass `model` only if the user asked for one; otherwise let it
@@ -368,11 +385,14 @@ prompts:
368
385
 
369
386
  When the core dependencies, the LaTeX Workshop extension, a
370
387
  credential, and a workspace project are all in place, tell the user
371
- they're ready and offer to launch the first task per "Launching the
388
+ they're ready and offer to run the first task per "Running the
372
389
  first task". If the user accepts, delegate once and stop — the
373
- Progress view takes it from there. If they decline, point them at
374
- "Open the main view and pick an agent" and stop. Do not keep asking
375
- follow-up questions after that.
390
+ Progress view takes it from there. Close with one hand-off
391
+ sentence naming the daily driver: from their next task they can
392
+ just talk to the orchestrator in the main view and it routes the
393
+ work across their roster. If they decline the first task, say
394
+ that same sentence and stop. Do not keep asking follow-up
395
+ questions after that.
376
396
 
377
397
  userRequest: |
378
398
  {{ INSTRUCTION }}
@@ -1,4 +1,5 @@
1
1
  name: testEngineer
2
+ displayName: Test Engineer — write & maintain tests
2
3
  description: Writes and maintains tests — pins down existing behaviour, covers new code and edge cases, and keeps the suite fast and reliable.
3
4
 
4
5
  settings:
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "@texra-ai/cli",
3
- "version": "0.38.7",
4
- "description": "TeXRA CLI — AI-powered LaTeX research assistant for the terminal.",
3
+ "version": "0.38.9",
4
+ "description": "TeXRA CLI — your AI theorist in the terminal.",
5
5
  "license": "SEE LICENSE IN LICENSE.txt",
6
6
  "author": "TeXRA.ai",
7
7
  "homepage": "https://texra.ai",
@@ -68,7 +68,7 @@
68
68
  "cli-highlight": "^2.1.11",
69
69
  "cli-table3": "^0.6.5",
70
70
  "diff": "^9.0.0",
71
- "esbuild": "^0.28.0",
71
+ "esbuild": "^0.28.1",
72
72
  "ink": "^7.0.5",
73
73
  "markdown-it": "^14.2.0",
74
74
  "node-pty": "^1.0.0",
@@ -77,6 +77,7 @@
77
77
  "react": "^19.2.7",
78
78
  "semver": "^7.8.4",
79
79
  "string-width": "^8.0.0",
80
+ "strip-ansi": "^7.2.0",
80
81
  "typescript": "^6.0.3",
81
82
  "wrap-ansi": "^10.0.0"
82
83
  }