workspace_add_local_paper
Add or replace a local LaTeX project in the active workspace using its path and paper ID, making its theorems and proofs queryable in the dependency graph.
Instructions
Add or replace a local LaTeX project in the active workspace.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | ||
| paper_id | Yes |