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 |
Input Schema (JSON Schema)
{
"properties": {
"base_dir": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null,
"title": "Base Dir"
},
"project_name": {
"default": "demo",
"title": "Project Name",
"type": "string"
}
},
"title": "scaffold_projectArguments",
"type": "object"
}