/
LA
lapisla-prover
/
Lapisla Prover API
Search skmtc…
⌘K
Sign in
Sign in
APIs
Generators
Stacks
Projects
Docs
History
Schema
Sources
Subscribe
v1
latest
OpenAPI 3.0.0
2026-07-17
19
25
18.5 KB
me
Get metadata of all files owned by the user
get
/me/files
Response
File metadata retrieved successfully
PrivateFileMeta[]
required
owner
string
required
fileName
string
required
versions
Version[]
required
registeredVersions
Version[]
required
createdAt
string
date-time
required
updatedAt
string
date-time
required
All 19 operations
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
get
Login with GitHub
get
Callback for GitHub OAuth
get
Get metadata of all public files owned by the user
get
Fetch a public file
get
Fetch a public snapshot
get
Search for public snapshots
get
Get the project dependencies of a snapshot
get
Get the timeline of the user
get
Get all tags
get
Get the software bill of materials of a snapshot