@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
package/README.md CHANGED
@@ -9,7 +9,7 @@
9
9
  [![npm version](https://img.shields.io/npm/v/@texra-ai/cli?label=%40texra-ai%2Fcli)](https://www.npmjs.com/package/@texra-ai/cli)
10
10
  [![CLI downloads](https://img.shields.io/npm/dm/@texra-ai/cli?label=CLI%20downloads)](https://www.npmjs.com/package/@texra-ai/cli)
11
11
 
12
- A LaTeX research assistant for VS Code and the terminal. Multi-agent
12
+ An AI theorist for VS Code and the terminal. Multi-agent
13
13
  workflows for writing, reviewing, formalizing, and rendering academic
14
14
  work — with every change returned as a diff you approve.
15
15
 
@@ -21,6 +21,9 @@ code --install-extension texra-ai.texra
21
21
 
22
22
  # Terminal — requires Node.js >=22.9.0
23
23
  npm install -g @texra-ai/cli
24
+
25
+ # Or via Homebrew (macOS / Linux)
26
+ brew install texra-ai/tap/texra
24
27
  ```
25
28
 
26
29
  Sign in with GitHub or Google for hosted access (no key management