workspace_add_local_paper
Add or replace a local LaTeX project in the active workspace, making its theorems available for dependency graph analysis.
Instructions
Add or replace a local LaTeX project in the active workspace.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | ||
| paper_id | Yes |