/
LA
lapisla-prover
/
Lapisla Prover API
Search skmtc…
⌘K
Changes
Docs
Sign in
Sign in
APIs
Generators
Stacks
Projects
Docs
History
Schema
Updated on 2026-07-17
Details
Filter operations
files
3
get
Get metadata of all public files owned by the user
get
Fetch a public file
get
Fetch a public snapshot
me
7
permalinks
1
registry
1
search
1
files
Fetch a public snapshot
get
/files/{user_name}/{file_name}/{version}
Path parameters
user_name
string
required
file_name
string
required
version
integer
required
Response
Snapshot
Snapshot
required
meta
SnapshotMeta
required
content
string
required
Changes