Documentation IndexFetch the complete documentation index at: /llms.txtUse this file to discover all available pages before exploring further.
Fetch the complete documentation index at: /llms.txt
Use this file to discover all available pages before exploring further.
Utilize user information connected to Lean
LeanAPI.User.Username()
(string) - The Users Lean Menu Username
local lean_username = LeanAPI.User.Username() print("Your Lean username is: " .. lean_username)
LeanAPI.User.UserID()
(number) - The Users Lean Menu User ID
local uid = LeanAPI.User.UserID() print("Your Lean UID is: " .. uid)