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