---
title: "Lapisla Prover API"
account: lapisla-prover
slug: lapisla-prover-api
---

# Lapisla Prover API

- Operations: 19
- Versions: 29 (latest `4ff151025f7c`)
- Source: https://raw.githubusercontent.com/lapisla-prover/lapisla-prover/HEAD/openapi.yaml
- OpenAPI document: https://skmtc-service-production.skmtc.workers.dev/v1/apis/lapisla-prover/lapisla-prover-api/revisions/4ff151025f7c/schema

## Operations

19 in total, by tag:

- me (9)
- login (2)
- files (3)
- search (1)
- registry (1)
- timeline (1)
- tags (1)
- sbom (1)

Every operation, with a link to its markdown: https://skmtc.dev/lapisla-prover/apis/lapisla-prover-api/llms.txt