scaffold_project
Generate a minimal project layout with TeX files, rules, and placeholders for mathematical formalization. Specify project name and base directory to organize content efficiently.
Instructions
Create a minimal formalization project layout with TeX, rules, and placeholders.
Args: project_name: Name of the project directory to create base_dir: Optional base directory. If omitted, creates under repo-local "projects/".
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base_dir | No | ||
| project_name | No | demo |