LA

Lapisla Prover API

OpenAPI 3.0.00 operations0 schemas29 revisions

Checked 15m ago · Updated 1mo ago

Subscribe to this API to generate a client from its schema and get a pull request each time the schema changes.

Ask

Answers are drawn from this API's reference and cite the operations they use.

Document
raw.githubusercontent.com · YAML, 18 KB
Commit
1d1dd8b ✨ GET /me/user in openapi.yaml
Published
Jan 25, 2025
Retrieved
Jan 25, 2025
Digest
396dcd08fcd9

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