/
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 the user information
get
/me/user
Response
User information retrieved successfully
UserInfo
required
username
string
required
github_id
integer