tex_extract
Extracts definitions and lemmas from a TeX file, generating a compact JSON summary for structured mathematical content analysis and formalization workflows.
Instructions
Extract definitions and lemmas from a TeX file. Returns a compact JSON summary.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
tex_path | Yes |
Input Schema (JSON Schema)
{
"properties": {
"tex_path": {
"title": "Tex Path",
"type": "string"
}
},
"required": [
"tex_path"
],
"title": "tex_extractArguments",
"type": "object"
}