elenchus_get_issues
Retrieve issues from a code verification session. Filter results by status: all, unresolved, or critical to focus on specific problem types.
Instructions
Get issues from the current session with optional filtering.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sessionId | Yes | Session ID | |
| status | No | Filter issues: "all", "unresolved", or "critical" | all |