/
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
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
Get metadata of all files owned by the user
get
/me/files
Response
File metadata retrieved successfully
PrivateFileMeta[]
required
owner
string
required
file_name
string
required
versions
Version[]
required
registered_versions
Version[]
required
created_at
string
date-time
required
updated_at
string
date-time
required
Changes