/
LA
lapisla-prover
/
Lapisla Prover API
Search skmtc…
⌘K
Docs
Sign in
Sign in
APIs
Generators
Stacks
Projects
Docs
History
Schema
Checked 2h ago · Updated 2mo ago
Details
Filter operations
files
3
login
2
me
7
get
Get metadata of all files owned by the user
get
Fetch a private file
post
Create a new file
delete
Delete a file
patch
Upload a snapshot of the file
post
Register a snapshot to the public registry
post
Create a permalink to the snapshot
permalinks
1
registry
1
search
1
me
Upload a snapshot of the file
patch
/me/files/{fileName}
Path parameters
fileName
string
required
Request body
string
required
Response
Snapshot uploaded successfully
SnapshotMeta
required
id
string
required
owner
string
required
fileName
string
required
version
integer
required
registered
boolean
createdAt
string
date-time
required
Changes