/
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
Update the content of a snapshot
patch
/me/files/{fileName}/{version}
Path parameters
fileName
string
required
version
integer
required
Request body
Registration
required
tags
Tag[]
required
description
string
required
Response
Snapshot updated successfully
SnapshotMeta
required
id
string
required
owner
string
required
fileName
string
required
version
integer
required
license
string
SPDX license identifier
registered
boolean
createdAt
string
date-time
required
Changes