@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.
- package/README.md +4 -1
- package/dist/bin/texra.js +1086 -1049
- package/dist/resources/agents/correct.yaml +9 -6
- package/dist/resources/agents/merge.yaml +1 -0
- package/dist/resources/agents/ocr.yaml +1 -0
- package/dist/resources/agents/polish.yaml +1 -0
- package/dist/resources/agents/transcribe_audio.yaml +1 -0
- package/dist/resources/skills/inline-paper-critic/SKILL.md +40 -0
- package/dist/resources/skills/inline-paper-critic/agents/openai.yaml +4 -0
- package/dist/resources/skills/inline-paper-critic/references/critique-checklist.md +40 -0
- package/dist/resources/skills/lean-blueprint/SKILL.md +37 -0
- package/dist/resources/skills/lean-blueprint/agents/openai.yaml +4 -0
- package/dist/resources/skills/lean-blueprint/references/blueprint-checklist.md +28 -0
- package/dist/resources/skills/lean-proof-assistant/SKILL.md +30 -0
- package/dist/resources/skills/lean-proof-assistant/agents/openai.yaml +4 -0
- package/dist/resources/skills/lean-proof-assistant/references/proof-workflow.md +23 -0
- package/dist/resources/skills/lean-search/SKILL.md +30 -0
- package/dist/resources/skills/lean-search/agents/openai.yaml +4 -0
- package/dist/resources/skills/lean-search/references/search-playbook.md +23 -0
- package/dist/resources/skills/lean-simplifier/SKILL.md +30 -0
- package/dist/resources/skills/lean-simplifier/agents/openai.yaml +4 -0
- package/dist/resources/skills/lean-simplifier/references/simplifier-checklist.md +27 -0
- package/dist/resources/skills/literature-search/SKILL.md +30 -0
- package/dist/resources/skills/literature-search/agents/openai.yaml +4 -0
- package/dist/resources/skills/literature-search/references/source-evaluation.md +25 -0
- package/dist/resources/skills/manuscript-review/SKILL.md +32 -0
- package/dist/resources/skills/manuscript-review/agents/openai.yaml +4 -0
- package/dist/resources/skills/manuscript-review/references/review-checklist.md +34 -0
- package/dist/resources/skills/math-ocr/SKILL.md +29 -0
- package/dist/resources/skills/math-ocr/agents/openai.yaml +4 -0
- package/dist/resources/skills/math-ocr/references/ocr-checklist.md +21 -0
- package/dist/resources/skills/mathematical-enhancer/SKILL.md +32 -0
- package/dist/resources/skills/mathematical-enhancer/agents/openai.yaml +4 -0
- package/dist/resources/skills/mathematical-enhancer/references/enhancement-checklist.md +30 -0
- package/dist/resources/skills/scientific-presenter/SKILL.md +30 -0
- package/dist/resources/skills/scientific-presenter/agents/openai.yaml +4 -0
- package/dist/resources/skills/scientific-presenter/references/slide-quality-checklist.md +34 -0
- package/dist/resources/skills/scientific-simplifier/SKILL.md +30 -0
- package/dist/resources/skills/scientific-simplifier/agents/openai.yaml +4 -0
- package/dist/resources/skills/scientific-simplifier/references/simplification-checklist.md +23 -0
- package/dist/resources/skills/tikz-figure-builder/SKILL.md +31 -0
- package/dist/resources/skills/tikz-figure-builder/agents/openai.yaml +4 -0
- package/dist/resources/skills/tikz-figure-builder/references/figure-checklist.md +25 -0
- package/dist/resources/skills/writing-commenter/SKILL.md +35 -0
- package/dist/resources/skills/writing-commenter/agents/openai.yaml +4 -0
- package/dist/resources/skills/writing-commenter/references/commenting-checklist.md +33 -0
- package/dist/resources/tool_use_agents/assistant.yaml +1 -0
- package/dist/resources/tool_use_agents/changeReviewer.yaml +71 -0
- package/dist/resources/tool_use_agents/codeReviewer.yaml +1 -0
- package/dist/resources/tool_use_agents/codeSimplifier.yaml +1 -0
- package/dist/resources/tool_use_agents/coder.yaml +1 -0
- package/dist/resources/tool_use_agents/creator.yaml +1 -0
- package/dist/resources/tool_use_agents/engineer.yaml +1 -0
- package/dist/resources/tool_use_agents/latexDiff.yaml +1 -0
- package/dist/resources/tool_use_agents/latexFixer.yaml +1 -0
- package/dist/resources/tool_use_agents/lean.yaml +1 -0
- package/dist/resources/tool_use_agents/numerics.yaml +1 -0
- package/dist/resources/tool_use_agents/presenter.yaml +1 -0
- package/dist/resources/tool_use_agents/prover.yaml +1 -0
- package/dist/resources/tool_use_agents/research.yaml +1 -0
- package/dist/resources/tool_use_agents/review.yaml +7 -4
- package/dist/resources/tool_use_agents/setup.yaml +50 -30
- package/dist/resources/tool_use_agents/testEngineer.yaml +1 -0
- package/package.json +4 -3
- 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
|
|
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
|
|
150
|
+
API key) before phase I. If the probe shows no credential, do
|
|
147
151
|
not skip ahead.
|
|
148
|
-
E.
|
|
149
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
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
|
|
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
|
|
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
|
-
##
|
|
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,
|
|
282
|
-
|
|
283
|
-
|
|
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,
|
|
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
|
-
-
|
|
292
|
-
`
|
|
293
|
-
|
|
294
|
-
|
|
295
|
-
-
|
|
296
|
-
|
|
297
|
-
|
|
298
|
-
|
|
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
|
|
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.
|
|
374
|
-
|
|
375
|
-
|
|
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 }}
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@texra-ai/cli",
|
|
3
|
-
"version": "0.38.
|
|
4
|
-
"description": "TeXRA CLI — AI
|
|
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.
|
|
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
|
}
|