Get GitHub Stats
Fetch aggregated issue and pull-request statistics for the configured repository, as of the last sync. Served from the last synced snapshot, not live from GitHub — `syncedAt` tells you how fresh it is. Cached for 12 hours. This endpoint has no user session of its own: call it with an API key holding the `github:read` scope, or from a whitelisted first-party origin. A request with neither is rejected with `401`.
Your personal API key — vw_ followed by 64 hex characters. The same key is also accepted
as Authorization: Bearer vw_....
In: header
Response Body
application/json
curl -X GET "https://example.com/api/v1/github/stats"{ "success": true, "message": "GitHub stats fetched successfully", "data": { "projectName": "owner/repo", "stats": { "total": 120, "issues": 70, "pullRequests": 50, "todo": 40, "inProgress": 30, "done": 50, "completionRate": "41.67" }, "syncedAt": "2026-04-26T10:00:00.000Z" }}GitHub Integrations
Fetch repository statistics, issues, and pull requests synced from the VeriWorkly repository.
Get GitHub IssuesGET
Fetch paginated GitHub issues and pull requests with optional filters, from the last synced snapshot rather than live from GitHub. Ordered by most recently updated. Returns an empty page when no sync has run yet. Requires the `github:read` scope when called with an API key.