Narya Holes
narya_holesList open holes in a Narya proof session, including number, file position when known, context, and type to help inspect and solve proof gaps.
Instructions
List the open holes of a session: number, position in the file (when known), context and type.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||