LAlapisla-prover
LA

Lapisla Prover API

Pipelines

Theorem proving: manage files and versioned snapshots, search and register public proofs, inspect dependencies and SBOMs

19 operations25 schemas29 revisions

Changes

Full history

Source

View schema
Spec
OpenAPI 3.0.0
Document
raw.githubusercontent.com - YAML, 19 KB
Retrieved
Jul 17, 2026, 12:10 UTC
Digest
4ff151025f7c

For agents

Every page here has a markdown twin. The overview is one fetch; the llms.txt lists every operation with a link to its own markdown.

curl https://skmtc.dev/lapisla-prover/apis/lapisla-prover-api.md
curl https://skmtc.dev/lapisla-prover/apis/lapisla-prover-api/llms.txt