Skip to main content
All endpoints use base URL https://registry.brik64.dev/v1.

Health

GET /v1/health

curl https://registry.brik64.dev/v1/health
{
  "status": "ok",
  "version": "4.0.0-beta.2",
  "uptime": 86400
}

Catalog

GET /v1/catalog

List all 128 monomers.
curl https://registry.brik64.dev/v1/catalog
{
  "monomers": [
    {
      "code": "MC_00",
      "name": "ADD8",
      "family": "Arithmetic",
      "signature": "(I64, I64) -> I64",
      "description": "Saturating 8-bit addition"
    }
  ],
  "total": 128
}
Query parameters:
ParamDescription
familyFilter by family: arithmetic, logic, memory, control, io, string, crypto, system
searchFull-text search on name and description

GET /v1/catalog/:mc_code

curl https://registry.brik64.dev/v1/catalog/MC_00
Returns full monomer details including Coq proof status, examples, and domain constraints.

Circuits

GET /v1/circuits

List published circuits.
curl https://registry.brik64.dev/v1/circuits \
  -H "Authorization: Bearer brik_live_xxx"
Query parameters:
ParamDescription
searchSearch by name or description
certifiedFilter: true or false
pagePage number (default: 1)
limitResults per page (default: 20, max: 100)

POST /v1/circuits

Publish a new circuit.
curl -X POST https://registry.brik64.dev/v1/circuits \
  -H "Authorization: Bearer brik_live_xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "name": "fibonacci",
    "description": "Fibonacci sequence generator",
    "pcd": "PC fibonacci {\n    let a = MC_16.STORE(0);\n    let b = MC_16.STORE(1);\n    let sum = MC_00.ADD8(a, b);\n    OUTPUT sum;\n}",
    "visibility": "public"
  }'
{
  "pid": "cir_abc123",
  "name": "fibonacci",
  "hash": "7f2a...",
  "certified": false,
  "created_at": "2026-03-21T00:00:00Z"
}

GET /v1/circuits/:pid

curl https://registry.brik64.dev/v1/circuits/cir_abc123

PUT /v1/circuits/:pid

Update circuit metadata (name, description, visibility). PCD source is immutable after publish.

DELETE /v1/circuits/:pid

curl -X DELETE https://registry.brik64.dev/v1/circuits/cir_abc123 \
  -H "Authorization: Bearer brik_live_xxx"

Artifacts

GET /v1/circuits/:pid/artifacts

List available compiled artifacts for a circuit.
curl https://registry.brik64.dev/v1/circuits/cir_abc123/artifacts
{
  "artifacts": [
    { "target": "rust", "url": "/v1/circuits/cir_abc123/artifacts/rust" },
    { "target": "javascript", "url": "/v1/circuits/cir_abc123/artifacts/javascript" },
    { "target": "python", "url": "/v1/circuits/cir_abc123/artifacts/python" }
  ]
}

GET /v1/circuits/:pid/artifacts/:target

Download a compiled artifact.
curl -O https://registry.brik64.dev/v1/circuits/cir_abc123/artifacts/rust

Auth

POST /v1/auth/register

Register a new account. See Authentication.

GET /v1/auth/keys

List API keys for the authenticated user.

DELETE /v1/auth/keys/:key_id

Revoke an API key.

POST /v1/auth/keys/rotate

Rotate the current API key.