LA

Lapisla Prover API

OpenAPI 3.0.00 operations0 schemas29 revisions

Checked 25m 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, 14 KB
Commit
31624aa fix: update property names to use lower camel case in OpenAPI models and parameters
Published
Jan 22, 2025
Retrieved
Jan 22, 2025
Digest
7a2b2f42a2f2

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