/
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
login
Login with GitHub
get
/login
Response
Redirect to GitHub OAuth
object
required
url
string
uri