/
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 2mo ago
Details
Filter operations
files
3
login
2
me
7
permalinks
1
get
Fetch a snapshot by permalink
registry
1
search
1
permalinks
Fetch a snapshot by permalink
get
/permalinks/{permalinkId}
Path parameters
permalink_id
string
required
Response
Snapshot
Snapshot
required
meta
SnapshotMeta
required
content
string
required
Changes