For the complete documentation index, see llms.txt. This page is also available as Markdown.

Checkers

Endpoints for managing checkers

[ADMIN] Get all checkers

get

Retrieves a list of all checkers. Required admin role.

Authorizations
AuthorizationstringRequired
Bearer authentication header of the form Bearer <token>.
Responses
200

OK

*/*
idinteger · int64Optional

Unique identifier of the checker

Example: 1
displayNamestringRequired

Display name of the checker

Example: Default Python3 Checker
languageHighlightNamestringRequired

Programming language used by the checker

Example: python
get/api/checkers
GET /api/checkers HTTP/1.1
Host: localhost:8080
Authorization: Bearer YOUR_SECRET_TOKEN
Accept: */*
[
  {
    "id": 1,
    "displayName": "Default Python3 Checker",
    "languageHighlightName": "python"
  }
]

[ADMIN] Create a checker

post

Creates a new checker. Required admin role.

Authorizations
AuthorizationstringRequired
Bearer authentication header of the form Bearer <token>.
Body

Details for creating a new checker

displayNamestringRequired

Display name of the checker

Example: Python Checker
languageHighlightNamestringRequired

Language highlight name for the checker

Example: python
addressstringRequired

Address of the checker service

Example: http://localhost:8080
Responses
200

OK

*/*
displayNamestringRequired
languageHighlightNamestringRequired
addressstringRequired
idinteger · int64Optional
createdAtstring · date-timeOptional
updatedAtstring · date-timeOptional
post/api/checkers
POST /api/checkers HTTP/1.1
Host: localhost:8080
Authorization: Bearer YOUR_SECRET_TOKEN
Content-Type: application/json
Accept: */*
Content-Length: 99

{
  "displayName": "Python Checker",
  "languageHighlightName": "python",
  "address": "http://localhost:8080"
}
{
  "displayName": "text",
  "languageHighlightName": "text",
  "address": "text",
  "id": 1,
  "createdAt": "2026-01-01T00:00:00.000Z",
  "updatedAt": "2026-01-01T00:00:00.000Z"
}

[ADMIN] Get checker by ID

get

Retrieves a checker by its ID. Required admin role.

Authorizations
AuthorizationstringRequired
Bearer authentication header of the form Bearer <token>.
Path parameters
idinteger · int64Required
Responses
200

OK

*/*
idinteger · int64Optional

Unique identifier of the checker

Example: 1
displayNamestringRequired

Display name of the checker

Example: Default Python3 Checker
languageHighlightNamestringRequired

Programming language used by the checker

Example: python
get/api/checkers/{id}
GET /api/checkers/{id} HTTP/1.1
Host: localhost:8080
Authorization: Bearer YOUR_SECRET_TOKEN
Accept: */*
{
  "id": 1,
  "displayName": "Default Python3 Checker",
  "languageHighlightName": "python"
}

[ADMIN] Delete a checker

delete

Deletes a specific checker by its ID. Required admin role.

Authorizations
AuthorizationstringRequired
Bearer authentication header of the form Bearer <token>.
Path parameters
idinteger · int64Required
Responses
200

OK

*/*
displayNamestringRequired
languageHighlightNamestringRequired
addressstringRequired
idinteger · int64Optional
createdAtstring · date-timeOptional
updatedAtstring · date-timeOptional
delete/api/checkers/{id}
DELETE /api/checkers/{id} HTTP/1.1
Host: localhost:8080
Authorization: Bearer YOUR_SECRET_TOKEN
Accept: */*
{
  "displayName": "text",
  "languageHighlightName": "text",
  "address": "text",
  "id": 1,
  "createdAt": "2026-01-01T00:00:00.000Z",
  "updatedAt": "2026-01-01T00:00:00.000Z"
}

[ADMIN] Update a checker

patch

Applies partial updates to a checker by its ID. Required admin role.

Authorizations
AuthorizationstringRequired
Bearer authentication header of the form Bearer <token>.
Path parameters
idinteger · int64Required
Body
anyOptional
Responses
200

OK

*/*
displayNamestringRequired
languageHighlightNamestringRequired
addressstringRequired
idinteger · int64Optional
createdAtstring · date-timeOptional
updatedAtstring · date-timeOptional
patch/api/checkers/{id}
PATCH /api/checkers/{id} HTTP/1.1
Host: localhost:8080
Authorization: Bearer YOUR_SECRET_TOKEN
Content-Type: application/json
Accept: */*
{
  "displayName": "text",
  "languageHighlightName": "text",
  "address": "text",
  "id": 1,
  "createdAt": "2026-01-01T00:00:00.000Z",
  "updatedAt": "2026-01-01T00:00:00.000Z"
}

[ADMIN] Get checker by ID (extra fields)

get

Retrieves a checker by its ID with admin-level access. Required admin role.

Authorizations
AuthorizationstringRequired
Bearer authentication header of the form Bearer <token>.
Path parameters
idinteger · int64Required
Responses
200

OK

*/*
displayNamestringRequired
languageHighlightNamestringRequired
addressstringRequired
idinteger · int64Optional
createdAtstring · date-timeOptional
updatedAtstring · date-timeOptional
get/api/checkers/{id}/admin
GET /api/checkers/{id}/admin HTTP/1.1
Host: localhost:8080
Authorization: Bearer YOUR_SECRET_TOKEN
Accept: */*
{
  "displayName": "text",
  "languageHighlightName": "text",
  "address": "text",
  "id": 1,
  "createdAt": "2026-01-01T00:00:00.000Z",
  "updatedAt": "2026-01-01T00:00:00.000Z"
}

Last updated