REAL SERVER MCP RESPONSE CAPTURE Commit: 290182dc83cc7e645c2c9961f07886c223ff08b7 Environment: Linux, Node 26.12.1; loopback HTTP MCP and WebSocket RPC. Seed: one synthetic project/thread, 62 open PR links, 3 merged links, oldest open link 4 watched. No model, mock service, unit test, or copied database is used. CALL: t3_thread_read Step: thread read Returned PR entries: 62 PR numbers in returned order: 4 (WATCHED), 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65 pullRequestCount: 65 openPullRequestCount: FIELD ABSENT Serialized structured response bytes: 13846 CALL: t3_thread_list Step: thread list Returned PR entries: 62 PR numbers in returned order: 4 (WATCHED), 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65 pullRequestCount: 65 openPullRequestCount: FIELD ABSENT Serialized structured response bytes: 13707 CALL: list_thread_pull_requests Step: all states first page Returned PR entries: 65 PR numbers in returned order: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65 States: merged, open nextCursor: FIELD ABSENT Serialized structured response bytes: 20269 CALL: list_thread_pull_requests Step: open first page SERVER ERROR: {"jsonrpc":"2.0","id":6,"error":{"code":-32602,"message":"Invalid parameters for tool 'list_thread_pull_requests': Unknown argument \"states\". Accepted arguments: environmentId, threadId."}} Serialized structured response bytes: 221 CALL: list_thread_pull_requests Step: open listing after unlinking ten earlier links SERVER ERROR: {"jsonrpc":"2.0","id":7,"error":{"code":-32602,"message":"Invalid parameters for tool 'list_thread_pull_requests': Unknown argument \"states\". Accepted arguments: environmentId, threadId."}} Serialized structured response bytes: 221 FULL MCP STRUCTURED RESPONSES: { "side": "base", "environment": "Linux Node server; loopback HTTP MCP and WebSocket RPC; synthetic data only", "seed": { "open": 62, "merged": 3, "watched": 4 }, "records": [ { "label": "thread read", "tool": "t3_thread_read", "arguments": { "threadId": "thread:proof-de72cded-7ddf-4d09-bef9-24bb9ace6445" }, "result": { "thread": { "threadId": "thread:proof-de72cded-7ddf-4d09-bef9-24bb9ace6445", "projectId": "8feb4739-8812-4f9e-9fac-7988a9a0994d", "title": "62 open PRs and merged links", "link": "https://app.t3.codes/threads/d822ef35-67cd-46be-87fb-cfd329c8869a/thread%3Aproof-de72cded-7ddf-4d09-bef9-24bb9ace6445", "createdBy": "user", "creationSource": "web", "status": "idle", "latestRunId": null, "activeRunId": null, "providerInstanceId": "codex", "model": "gpt-5", "runtimeMode": "full-access", "interactionMode": "default", "linkedPullRequest": null, "pullRequests": [ { "host": "github.com", "repository": "proof-example/synthetic", "number": 4, "url": "https://github.com/proof-example/synthetic/pull/4", "source": "manual", "state": "open", "watching": true, "watchStartedAt": "2026-11-13T08:56:38.021Z" }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 5, "url": "https://github.com/proof-example/synthetic/pull/5", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 6, "url": "https://github.com/proof-example/synthetic/pull/6", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 7, "url": "https://github.com/proof-example/synthetic/pull/7", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 8, "url": "https://github.com/proof-example/synthetic/pull/8", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 9, "url": "https://github.com/proof-example/synthetic/pull/9", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 10, "url": "https://github.com/proof-example/synthetic/pull/10", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 11, "url": "https://github.com/proof-example/synthetic/pull/11", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 12, "url": "https://github.com/proof-example/synthetic/pull/12", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 13, "url": "https://github.com/proof-example/synthetic/pull/13", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 14, "url": "https://github.com/proof-example/synthetic/pull/14", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 15, "url": "https://github.com/proof-example/synthetic/pull/15", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 16, "url": "https://github.com/proof-example/synthetic/pull/16", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 17, "url": "https://github.com/proof-example/synthetic/pull/17", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 18, "url": "https://github.com/proof-example/synthetic/pull/18", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 19, "url": "https://github.com/proof-example/synthetic/pull/19", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 20, "url": "https://github.com/proof-example/synthetic/pull/20", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 21, "url": "https://github.com/proof-example/synthetic/pull/21", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 22, "url": "https://github.com/proof-example/synthetic/pull/22", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 23, "url": "https://github.com/proof-example/synthetic/pull/23", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 24, "url": "https://github.com/proof-example/synthetic/pull/24", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 25, "url": "https://github.com/proof-example/synthetic/pull/25", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 26, "url": "https://github.com/proof-example/synthetic/pull/26", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 27, "url": "https://github.com/proof-example/synthetic/pull/27", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 28, "url": "https://github.com/proof-example/synthetic/pull/28", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 29, "url": "https://github.com/proof-example/synthetic/pull/29", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 30, "url": "https://github.com/proof-example/synthetic/pull/30", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 31, "url": "https://github.com/proof-example/synthetic/pull/31", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 32, "url": "https://github.com/proof-example/synthetic/pull/32", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 33, "url": "https://github.com/proof-example/synthetic/pull/33", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 34, "url": "https://github.com/proof-example/synthetic/pull/34", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 35, "url": "https://github.com/proof-example/synthetic/pull/35", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 36, "url": "https://github.com/proof-example/synthetic/pull/36", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 37, "url": "https://github.com/proof-example/synthetic/pull/37", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 38, "url": "https://github.com/proof-example/synthetic/pull/38", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 39, "url": "https://github.com/proof-example/synthetic/pull/39", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 40, "url": "https://github.com/proof-example/synthetic/pull/40", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 41, "url": "https://github.com/proof-example/synthetic/pull/41", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 42, "url": "https://github.com/proof-example/synthetic/pull/42", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 43, "url": "https://github.com/proof-example/synthetic/pull/43", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 44, "url": "https://github.com/proof-example/synthetic/pull/44", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 45, "url": "https://github.com/proof-example/synthetic/pull/45", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 46, "url": "https://github.com/proof-example/synthetic/pull/46", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 47, "url": "https://github.com/proof-example/synthetic/pull/47", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 48, "url": "https://github.com/proof-example/synthetic/pull/48", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 49, "url": "https://github.com/proof-example/synthetic/pull/49", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 50, "url": "https://github.com/proof-example/synthetic/pull/50", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 51, "url": "https://github.com/proof-example/synthetic/pull/51", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 52, "url": "https://github.com/proof-example/synthetic/pull/52", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 53, "url": "https://github.com/proof-example/synthetic/pull/53", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 54, "url": "https://github.com/proof-example/synthetic/pull/54", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 55, "url": "https://github.com/proof-example/synthetic/pull/55", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 56, "url": "https://github.com/proof-example/synthetic/pull/56", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 57, "url": "https://github.com/proof-example/synthetic/pull/57", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 58, "url": "https://github.com/proof-example/synthetic/pull/58", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 59, "url": "https://github.com/proof-example/synthetic/pull/59", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 60, "url": "https://github.com/proof-example/synthetic/pull/60", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 61, "url": "https://github.com/proof-example/synthetic/pull/61", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 62, "url": "https://github.com/proof-example/synthetic/pull/62", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 63, "url": "https://github.com/proof-example/synthetic/pull/63", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 64, "url": "https://github.com/proof-example/synthetic/pull/64", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 65, "url": "https://github.com/proof-example/synthetic/pull/65", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null } ], "pullRequestCount": 65, "titleRegeneration": null, "lastTitleRegeneration": null, "branch": null, "worktreePath": null, "parentThreadId": null, "relationshipToParent": null, "runCount": 0, "itemCount": 0, "pendingRequestCount": 0, "archived": false, "settled": false, "settledAt": null, "snoozed": false, "snoozedUntil": null, "blockedOnThreadWait": false, "pendingBackgroundTasks": [ { "taskId": "pull-request-watch:github.com/proof-example/synthetic#4", "kind": "monitor", "description": "Watching pull request #4", "awaited": true } ], "createdAt": "2026-11-13T08:56:36.620Z", "updatedAt": "2026-11-13T08:56:38.021Z" }, "recentRuns": [], "items": [], "nextPosition": null, "hasMore": false, "earlierPosition": null } }, { "label": "thread list", "tool": "t3_thread_list", "arguments": { "projectId": "8feb4739-8812-4f9e-9fac-7988a9a0994d" }, "result": { "projectId": "8feb4739-8812-4f9e-9fac-7988a9a0994d", "currentThreadId": null, "threads": [ { "threadId": "thread:proof-de72cded-7ddf-4d09-bef9-24bb9ace6445", "projectId": "8feb4739-8812-4f9e-9fac-7988a9a0994d", "title": "62 open PRs and merged links", "link": "https://app.t3.codes/threads/d822ef35-67cd-46be-87fb-cfd329c8869a/thread%3Aproof-de72cded-7ddf-4d09-bef9-24bb9ace6445", "createdBy": "user", "creationSource": "web", "status": "waiting", "latestRunId": null, "providerInstanceId": "codex", "model": "gpt-5", "runtimeMode": "full-access", "interactionMode": "default", "linkedPullRequest": null, "pullRequests": [ { "host": "github.com", "repository": "proof-example/synthetic", "number": 4, "url": "https://github.com/proof-example/synthetic/pull/4", "source": "manual", "state": "open", "watching": true, "watchStartedAt": "2026-11-13T08:56:38.021Z" }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 5, "url": "https://github.com/proof-example/synthetic/pull/5", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 6, "url": "https://github.com/proof-example/synthetic/pull/6", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 7, "url": "https://github.com/proof-example/synthetic/pull/7", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 8, "url": "https://github.com/proof-example/synthetic/pull/8", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 9, "url": "https://github.com/proof-example/synthetic/pull/9", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 10, "url": "https://github.com/proof-example/synthetic/pull/10", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 11, "url": "https://github.com/proof-example/synthetic/pull/11", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 12, "url": "https://github.com/proof-example/synthetic/pull/12", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 13, "url": "https://github.com/proof-example/synthetic/pull/13", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 14, "url": "https://github.com/proof-example/synthetic/pull/14", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 15, "url": "https://github.com/proof-example/synthetic/pull/15", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 16, "url": "https://github.com/proof-example/synthetic/pull/16", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 17, "url": "https://github.com/proof-example/synthetic/pull/17", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 18, "url": "https://github.com/proof-example/synthetic/pull/18", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 19, "url": "https://github.com/proof-example/synthetic/pull/19", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 20, "url": "https://github.com/proof-example/synthetic/pull/20", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 21, "url": "https://github.com/proof-example/synthetic/pull/21", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 22, "url": "https://github.com/proof-example/synthetic/pull/22", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 23, "url": "https://github.com/proof-example/synthetic/pull/23", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 24, "url": "https://github.com/proof-example/synthetic/pull/24", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 25, "url": "https://github.com/proof-example/synthetic/pull/25", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 26, "url": "https://github.com/proof-example/synthetic/pull/26", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 27, "url": "https://github.com/proof-example/synthetic/pull/27", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 28, "url": "https://github.com/proof-example/synthetic/pull/28", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 29, "url": "https://github.com/proof-example/synthetic/pull/29", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 30, "url": "https://github.com/proof-example/synthetic/pull/30", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 31, "url": "https://github.com/proof-example/synthetic/pull/31", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 32, "url": "https://github.com/proof-example/synthetic/pull/32", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 33, "url": "https://github.com/proof-example/synthetic/pull/33", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 34, "url": "https://github.com/proof-example/synthetic/pull/34", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 35, "url": "https://github.com/proof-example/synthetic/pull/35", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 36, "url": "https://github.com/proof-example/synthetic/pull/36", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 37, "url": "https://github.com/proof-example/synthetic/pull/37", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 38, "url": "https://github.com/proof-example/synthetic/pull/38", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 39, "url": "https://github.com/proof-example/synthetic/pull/39", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 40, "url": "https://github.com/proof-example/synthetic/pull/40", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 41, "url": "https://github.com/proof-example/synthetic/pull/41", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 42, "url": "https://github.com/proof-example/synthetic/pull/42", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 43, "url": "https://github.com/proof-example/synthetic/pull/43", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 44, "url": "https://github.com/proof-example/synthetic/pull/44", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 45, "url": "https://github.com/proof-example/synthetic/pull/45", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 46, "url": "https://github.com/proof-example/synthetic/pull/46", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 47, "url": "https://github.com/proof-example/synthetic/pull/47", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 48, "url": "https://github.com/proof-example/synthetic/pull/48", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 49, "url": "https://github.com/proof-example/synthetic/pull/49", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 50, "url": "https://github.com/proof-example/synthetic/pull/50", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 51, "url": "https://github.com/proof-example/synthetic/pull/51", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 52, "url": "https://github.com/proof-example/synthetic/pull/52", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 53, "url": "https://github.com/proof-example/synthetic/pull/53", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 54, "url": "https://github.com/proof-example/synthetic/pull/54", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 55, "url": "https://github.com/proof-example/synthetic/pull/55", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 56, "url": "https://github.com/proof-example/synthetic/pull/56", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 57, "url": "https://github.com/proof-example/synthetic/pull/57", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 58, "url": "https://github.com/proof-example/synthetic/pull/58", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 59, "url": "https://github.com/proof-example/synthetic/pull/59", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 60, "url": "https://github.com/proof-example/synthetic/pull/60", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 61, "url": "https://github.com/proof-example/synthetic/pull/61", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 62, "url": "https://github.com/proof-example/synthetic/pull/62", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 63, "url": "https://github.com/proof-example/synthetic/pull/63", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 64, "url": "https://github.com/proof-example/synthetic/pull/64", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 65, "url": "https://github.com/proof-example/synthetic/pull/65", "source": "manual", "state": "open", "watching": false, "watchStartedAt": null } ], "pullRequestCount": 65, "settled": false, "settledAt": null, "snoozed": false, "snoozedUntil": null, "blockedOnThreadWait": false, "pendingBackgroundTasks": [ { "taskId": "pull-request-watch:github.com/proof-example/synthetic#4", "kind": "monitor", "description": "Watching pull request #4", "awaited": true } ], "parentThreadId": null, "relationshipToParent": null, "itemCount": 0, "createdAt": "2026-11-13T08:56:36.620Z", "updatedAt": "2026-11-13T08:56:38.021Z" } ], "nextCursor": null, "total": 1 } }, { "label": "all states first page", "tool": "list_thread_pull_requests", "arguments": { "threadId": "thread:proof-de72cded-7ddf-4d09-bef9-24bb9ace6445" }, "result": { "pullRequests": [ { "host": "github.com", "repository": "proof-example/synthetic", "number": 1, "url": "https://github.com/proof-example/synthetic/pull/1", "source": "manual", "watching": false, "state": "merged", "title": "Synthetic PR 1", "headBranch": "pr-1", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 2, "url": "https://github.com/proof-example/synthetic/pull/2", "source": "manual", "watching": false, "state": "merged", "title": "Synthetic PR 2", "headBranch": "pr-2", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 3, "url": "https://github.com/proof-example/synthetic/pull/3", "source": "manual", "watching": false, "state": "merged", "title": "Synthetic PR 3", "headBranch": "pr-3", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 4, "url": "https://github.com/proof-example/synthetic/pull/4", "source": "manual", "watching": true, "state": "open", "title": "Synthetic PR 4", "headBranch": "pr-4", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 5, "url": "https://github.com/proof-example/synthetic/pull/5", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 5", "headBranch": "pr-5", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 6, "url": "https://github.com/proof-example/synthetic/pull/6", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 6", "headBranch": "pr-6", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 7, "url": "https://github.com/proof-example/synthetic/pull/7", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 7", "headBranch": "pr-7", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 8, "url": "https://github.com/proof-example/synthetic/pull/8", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 8", "headBranch": "pr-8", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 9, "url": "https://github.com/proof-example/synthetic/pull/9", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 9", "headBranch": "pr-9", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 10, "url": "https://github.com/proof-example/synthetic/pull/10", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 10", "headBranch": "pr-10", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 11, "url": "https://github.com/proof-example/synthetic/pull/11", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 11", "headBranch": "pr-11", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 12, "url": "https://github.com/proof-example/synthetic/pull/12", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 12", "headBranch": "pr-12", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 13, "url": "https://github.com/proof-example/synthetic/pull/13", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 13", "headBranch": "pr-13", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 14, "url": "https://github.com/proof-example/synthetic/pull/14", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 14", "headBranch": "pr-14", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 15, "url": "https://github.com/proof-example/synthetic/pull/15", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 15", "headBranch": "pr-15", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 16, "url": "https://github.com/proof-example/synthetic/pull/16", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 16", "headBranch": "pr-16", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 17, "url": "https://github.com/proof-example/synthetic/pull/17", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 17", "headBranch": "pr-17", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 18, "url": "https://github.com/proof-example/synthetic/pull/18", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 18", "headBranch": "pr-18", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 19, "url": "https://github.com/proof-example/synthetic/pull/19", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 19", "headBranch": "pr-19", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 20, "url": "https://github.com/proof-example/synthetic/pull/20", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 20", "headBranch": "pr-20", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 21, "url": "https://github.com/proof-example/synthetic/pull/21", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 21", "headBranch": "pr-21", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 22, "url": "https://github.com/proof-example/synthetic/pull/22", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 22", "headBranch": "pr-22", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 23, "url": "https://github.com/proof-example/synthetic/pull/23", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 23", "headBranch": "pr-23", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 24, "url": "https://github.com/proof-example/synthetic/pull/24", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 24", "headBranch": "pr-24", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 25, "url": "https://github.com/proof-example/synthetic/pull/25", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 25", "headBranch": "pr-25", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 26, "url": "https://github.com/proof-example/synthetic/pull/26", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 26", "headBranch": "pr-26", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 27, "url": "https://github.com/proof-example/synthetic/pull/27", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 27", "headBranch": "pr-27", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 28, "url": "https://github.com/proof-example/synthetic/pull/28", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 28", "headBranch": "pr-28", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 29, "url": "https://github.com/proof-example/synthetic/pull/29", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 29", "headBranch": "pr-29", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 30, "url": "https://github.com/proof-example/synthetic/pull/30", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 30", "headBranch": "pr-30", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 31, "url": "https://github.com/proof-example/synthetic/pull/31", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 31", "headBranch": "pr-31", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 32, "url": "https://github.com/proof-example/synthetic/pull/32", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 32", "headBranch": "pr-32", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 33, "url": "https://github.com/proof-example/synthetic/pull/33", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 33", "headBranch": "pr-33", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 34, "url": "https://github.com/proof-example/synthetic/pull/34", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 34", "headBranch": "pr-34", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 35, "url": "https://github.com/proof-example/synthetic/pull/35", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 35", "headBranch": "pr-35", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 36, "url": "https://github.com/proof-example/synthetic/pull/36", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 36", "headBranch": "pr-36", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 37, "url": "https://github.com/proof-example/synthetic/pull/37", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 37", "headBranch": "pr-37", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 38, "url": "https://github.com/proof-example/synthetic/pull/38", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 38", "headBranch": "pr-38", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 39, "url": "https://github.com/proof-example/synthetic/pull/39", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 39", "headBranch": "pr-39", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 40, "url": "https://github.com/proof-example/synthetic/pull/40", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 40", "headBranch": "pr-40", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 41, "url": "https://github.com/proof-example/synthetic/pull/41", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 41", "headBranch": "pr-41", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 42, "url": "https://github.com/proof-example/synthetic/pull/42", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 42", "headBranch": "pr-42", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 43, "url": "https://github.com/proof-example/synthetic/pull/43", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 43", "headBranch": "pr-43", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 44, "url": "https://github.com/proof-example/synthetic/pull/44", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 44", "headBranch": "pr-44", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 45, "url": "https://github.com/proof-example/synthetic/pull/45", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 45", "headBranch": "pr-45", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 46, "url": "https://github.com/proof-example/synthetic/pull/46", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 46", "headBranch": "pr-46", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 47, "url": "https://github.com/proof-example/synthetic/pull/47", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 47", "headBranch": "pr-47", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 48, "url": "https://github.com/proof-example/synthetic/pull/48", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 48", "headBranch": "pr-48", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 49, "url": "https://github.com/proof-example/synthetic/pull/49", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 49", "headBranch": "pr-49", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 50, "url": "https://github.com/proof-example/synthetic/pull/50", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 50", "headBranch": "pr-50", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 51, "url": "https://github.com/proof-example/synthetic/pull/51", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 51", "headBranch": "pr-51", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 52, "url": "https://github.com/proof-example/synthetic/pull/52", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 52", "headBranch": "pr-52", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 53, "url": "https://github.com/proof-example/synthetic/pull/53", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 53", "headBranch": "pr-53", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 54, "url": "https://github.com/proof-example/synthetic/pull/54", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 54", "headBranch": "pr-54", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 55, "url": "https://github.com/proof-example/synthetic/pull/55", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 55", "headBranch": "pr-55", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 56, "url": "https://github.com/proof-example/synthetic/pull/56", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 56", "headBranch": "pr-56", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 57, "url": "https://github.com/proof-example/synthetic/pull/57", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 57", "headBranch": "pr-57", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 58, "url": "https://github.com/proof-example/synthetic/pull/58", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 58", "headBranch": "pr-58", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 59, "url": "https://github.com/proof-example/synthetic/pull/59", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 59", "headBranch": "pr-59", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 60, "url": "https://github.com/proof-example/synthetic/pull/60", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 60", "headBranch": "pr-60", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 61, "url": "https://github.com/proof-example/synthetic/pull/61", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 61", "headBranch": "pr-61", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 62, "url": "https://github.com/proof-example/synthetic/pull/62", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 62", "headBranch": "pr-62", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 63, "url": "https://github.com/proof-example/synthetic/pull/63", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 63", "headBranch": "pr-63", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 64, "url": "https://github.com/proof-example/synthetic/pull/64", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 64", "headBranch": "pr-64", "baseBranch": "main", "isDraft": false, "stack": null }, { "host": "github.com", "repository": "proof-example/synthetic", "number": 65, "url": "https://github.com/proof-example/synthetic/pull/65", "source": "manual", "watching": false, "state": "open", "title": "Synthetic PR 65", "headBranch": "pr-65", "baseBranch": "main", "isDraft": false, "stack": null } ], "chains": [ { "kind": "derived", "numbers": [ 1 ] }, { "kind": "derived", "numbers": [ 2 ] }, { "kind": "derived", "numbers": [ 3 ] }, { "kind": "derived", "numbers": [ 4 ] }, { "kind": "derived", "numbers": [ 5 ] }, { "kind": "derived", "numbers": [ 6 ] }, { "kind": "derived", "numbers": [ 7 ] }, { "kind": "derived", "numbers": [ 8 ] }, { "kind": "derived", "numbers": [ 9 ] }, { "kind": "derived", "numbers": [ 10 ] }, { "kind": "derived", "numbers": [ 11 ] }, { "kind": "derived", "numbers": [ 12 ] }, { "kind": "derived", "numbers": [ 13 ] }, { "kind": "derived", "numbers": [ 14 ] }, { "kind": "derived", "numbers": [ 15 ] }, { "kind": "derived", "numbers": [ 16 ] }, { "kind": "derived", "numbers": [ 17 ] }, { "kind": "derived", "numbers": [ 18 ] }, { "kind": "derived", "numbers": [ 19 ] }, { "kind": "derived", "numbers": [ 20 ] }, { "kind": "derived", "numbers": [ 21 ] }, { "kind": "derived", "numbers": [ 22 ] }, { "kind": "derived", "numbers": [ 23 ] }, { "kind": "derived", "numbers": [ 24 ] }, { "kind": "derived", "numbers": [ 25 ] }, { "kind": "derived", "numbers": [ 26 ] }, { "kind": "derived", "numbers": [ 27 ] }, { "kind": "derived", "numbers": [ 28 ] }, { "kind": "derived", "numbers": [ 29 ] }, { "kind": "derived", "numbers": [ 30 ] }, { "kind": "derived", "numbers": [ 31 ] }, { "kind": "derived", "numbers": [ 32 ] }, { "kind": "derived", "numbers": [ 33 ] }, { "kind": "derived", "numbers": [ 34 ] }, { "kind": "derived", "numbers": [ 35 ] }, { "kind": "derived", "numbers": [ 36 ] }, { "kind": "derived", "numbers": [ 37 ] }, { "kind": "derived", "numbers": [ 38 ] }, { "kind": "derived", "numbers": [ 39 ] }, { "kind": "derived", "numbers": [ 40 ] }, { "kind": "derived", "numbers": [ 41 ] }, { "kind": "derived", "numbers": [ 42 ] }, { "kind": "derived", "numbers": [ 43 ] }, { "kind": "derived", "numbers": [ 44 ] }, { "kind": "derived", "numbers": [ 45 ] }, { "kind": "derived", "numbers": [ 46 ] }, { "kind": "derived", "numbers": [ 47 ] }, { "kind": "derived", "numbers": [ 48 ] }, { "kind": "derived", "numbers": [ 49 ] }, { "kind": "derived", "numbers": [ 50 ] }, { "kind": "derived", "numbers": [ 51 ] }, { "kind": "derived", "numbers": [ 52 ] }, { "kind": "derived", "numbers": [ 53 ] }, { "kind": "derived", "numbers": [ 54 ] }, { "kind": "derived", "numbers": [ 55 ] }, { "kind": "derived", "numbers": [ 56 ] }, { "kind": "derived", "numbers": [ 57 ] }, { "kind": "derived", "numbers": [ 58 ] }, { "kind": "derived", "numbers": [ 59 ] }, { "kind": "derived", "numbers": [ 60 ] }, { "kind": "derived", "numbers": [ 61 ] }, { "kind": "derived", "numbers": [ 62 ] }, { "kind": "derived", "numbers": [ 63 ] }, { "kind": "derived", "numbers": [ 64 ] }, { "kind": "derived", "numbers": [ 65 ] } ] } }, { "label": "open first page", "tool": "list_thread_pull_requests", "arguments": { "threadId": "thread:proof-de72cded-7ddf-4d09-bef9-24bb9ace6445", "states": [ "open" ] }, "result": { "error": "{\"jsonrpc\":\"2.0\",\"id\":6,\"error\":{\"code\":-32602,\"message\":\"Invalid parameters for tool 'list_thread_pull_requests': Unknown argument \\\"states\\\". Accepted arguments: environmentId, threadId.\"}}" } }, { "label": "open listing after unlinking ten earlier links", "tool": "list_thread_pull_requests", "arguments": { "threadId": "thread:proof-de72cded-7ddf-4d09-bef9-24bb9ace6445", "states": [ "open" ] }, "result": { "error": "{\"jsonrpc\":\"2.0\",\"id\":7,\"error\":{\"code\":-32602,\"message\":\"Invalid parameters for tool 'list_thread_pull_requests': Unknown argument \\\"states\\\". Accepted arguments: environmentId, threadId.\"}}" } } ] }