lean_file_contents
Retrieve Lean theorem prover file contents with optional line number annotations for code analysis and debugging.
Instructions
DEPRECATED: Will be removed soon.
DEPRECATED. Get file contents with optional line numbers.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_path | Yes | Absolute path to Lean file | |
| annotate_lines | No | Add line numbers |