list_custom_problems
Retrieve private Lean statement pairs owned by your account for use in the playground.
Instructions
List private Lean statement pairs (custom problems) owned by the calling account.
Scope: playground.read.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| cursor | No |