/
LA
lapisla-prover
/
Lapisla Prover API
Search skmtc…
⌘K
Docs
Sign in
Sign in
APIs
Generators
Stacks
Projects
Docs
History
Schema
Checked 1h ago · Updated 1mo ago
Details
Filter operations
files
3
login
2
me
9
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
get
Get a snapshot of the file
patch
Update the content of a snapshot
get
Get the user information
registry
1
sbom
1
search
1
tags
1
timeline
1
me
Upload a snapshot of the file
patch
/me/files/{fileName}
Path parameters
fileName
string
required
Request body
SourceCodeWrapper
required
content
string
required
Response
Snapshot uploaded successfully
SnapshotSaveResponse
required
result
'newly_saved'
|
'already_saved'
required
snapshot
SnapshotMeta
required
Changes