[{"_1":2,"_157":-5,"_158":-5},"loaderData",{"_3":4,"_13":14,"_21":22,"_135":136},"root",{"_5":-5,"_6":-7,"_7":8,"_9":-7,"_10":11,"_12":-7},"currentUser","primaryEmail","siteVerification","6LeIxAcTAAAAAJcZVRqyHh71UMIEGNQ_MXjiZKhI","toast","enableDev",false,"incidentStatus","routes/_layout",{"_15":-5,"_16":17,"_18":17,"_19":11,"_20":11},"username","isAskGordonEnabled",true,"isUsingNewTemplate","showMinimalLanding","showHoneypotTrap","routes/_layout.r.$namespace.$reponame",{"_23":24,"_25":-5,"_26":11,"_27":11,"_28":29,"_30":31,"_32":-5,"_33":11,"_34":35,"_84":-5,"_85":86,"_126":-5,"_127":11,"_128":17,"_129":11,"_130":-5,"_131":11,"_132":-5,"_133":134},"canonicalUrl","https://hub.docker.com/r/goblin80/tezos-lang-server/tags","mcpServer","canSeeDockerfile","canSeeAutobuilds","namespace","goblin80","reponame","tezos-lang-server","cloudBuildSource","isAutobuildsAvailable","repo",{"_36":37,"_38":39,"_41":42,"_43":44,"_45":11,"_46":47,"_48":49,"_50":51,"_53":31,"_28":29,"_54":55,"_56":40,"_57":58,"_59":60,"_61":62,"_63":-5,"_64":58,"_65":66,"_67":11,"_68":29,"_69":70,"_75":11,"_76":77,"_81":29,"_82":83},"categories",[],"content_types",[40],"image","date_registered","2021-09-10T21:12:06.176546Z","description","Michelson Language Server","is_private","last_updated","2021-09-10T21:12:06.496827Z","last_modified","2025-05-07T23:23:34.874648Z","media_types",[52],"application/vnd.docker.container.image.v1+json","name","pull_count",244,"repository_type","star_count",0,"status",6,"status_description","archived","source","collaborator_count","full_description","**MIRROR**: nomadic labs: https://gitlab.com/nomadic-labs/tezos-lang-server\n\n# Michelson Language Server\n\nThis project aims to provide some nice features\nto people using Michelson to develop smart contracts\non the Tezos Blockchain.\n\nIt provides three modes of interaction.\n\n## language-server\n\nThis mode behaves as a traditional language server.\nThe binary should be called by an extension of your editor\nof choice. Launch that mode using `./lang-server launch lang server`\n\n### Features\n\n* Typechecking\n* Autocompletion\n* Stack Visualization\n\n## Command Mode\n\nThis project also presents a sandbox running a dummy blockchain\nenvironment for all your testing needs. You can easily create accounts,\noriginate contracts, and call them. You can launch it invoking\n`./lang-server launch repl`. It is advised to use `rlwrap`.\n\n_Language Commands_ are available outside of the REPL. To invoke\nthem, use `./lang-server $command`\n\n### Commands\n\n#### Language commands\n\n ```\n micheline this \n Translate to micheline\n : filename of the contract\n```\n```\n gen value of type \n Generate value of given type\n : type\n```\n```\n gen rand value of type \n Generate random value of a given type\n : type\n```\n```\n gen sample parameter of

goblin80/tezos-lang-server

Tags for goblin80/tezos-lang-server