{"id":13837536,"url":"https://github.com/agda/agda-language-server","last_synced_at":"2026-04-10T08:12:46.974Z","repository":{"id":40344315,"uuid":"100691958","full_name":"agda/agda-language-server","owner":"agda","description":"Language Server for Agda","archived":false,"fork":false,"pushed_at":"2026-04-04T13:06:14.000Z","size":446,"stargazers_count":125,"open_issues_count":16,"forks_count":20,"subscribers_count":8,"default_branch":"master","last_synced_at":"2026-04-04T13:37:29.224Z","etag":null,"topics":["agda","agda-mode","language-server-protocol"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2017-08-18T08:42:00.000Z","updated_at":"2026-03-19T17:11:59.000Z","dependencies_parsed_at":"2023-12-03T11:22:41.466Z","dependency_job_id":"36abcded-e111-4e58-b8b3-b8de322e7a92","html_url":"https://github.com/agda/agda-language-server","commit_stats":null,"previous_names":["agda/agda-language-server","banacorn/agda-language-server"],"tags_count":33,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda-language-server","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31634249,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-10T07:40:12.752Z","status":"ssl_error","status_checked_at":"2026-04-10T07:40:11.664Z","response_time":98,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["agda","agda-mode","language-server-protocol"],"created_at":"2024-08-04T15:01:13.099Z","updated_at":"2026-04-10T08:12:46.963Z","avatar_url":"https://github.com/agda.png","language":"Haskell","funding_links":[],"categories":["Haskell"],"sub_categories":[],"readme":"# Agda Language Server\n\n## Supported versions of Agda\n\nThese are the currently supported versions of Agda:\n* Agda-2.8.0\n* Agda-2.7.0.1\n* Agda-2.6.4.3\n\nAll releases will come with binaries built with these versions of Agda.\n\nWe plan to make the codebase compatible with **at most 3 versions of Agda** at a single time. Because otherwise we'd be drowned by CPP macros for conditional compilation.\n\n## Installation\n\nThe simplest way of acquiring Agda Language Server is through [agda-mode on VS Code](https://github.com/banacorn/agda-mode-vscode#agda-language-server).\nFollow the instructions and the language server should be installed within seconds.\n\n### Prebuilt binaries\n\nYou can also download prebuilt binaries [from the release page](https://github.com/banacorn/agda-language-server/releases) if you are using other LSP-compatible text editors.\n\nSupported platforms: **Windows**, **Mac**, and **Ubuntu**.\n\n#### Development releases\n\nFor testing the latest features and bug fixes, you can download development pre-releases:\n- **Stable releases**: Tagged as `v6`, `v7`, etc. - recommended for general use\n- **Development releases**: Tagged as `dev` - latest features, may be unstable\n\nDevelopment releases are updated as needed and contain the latest changes from the main branch.\n\n### Build from source\n\nYou will need [Haskell Stack](https://docs.haskellstack.org/en/stable/README/) to build the project:\n\n```\nstack install\n```\n\n## Versioning\n\nSingle-digit versioning for the language server itself - people mostly just care about the Agda version it supports anyway.\n\n## Why make it standalone?\n\n* for less impact on the Agda codebase\n* to help [decouple the Agda codebase](https://github.com/agda/agda/projects/5)\n* we can always merge it back to Agda later anyway\n\n## Hacking\n\nThis language server is co-developed alongside [agda-mode on VS Code](https://github.com/banacorn/agda-mode-vscode).\n\n### TCP server for development\n\nTo make development easier, you can host the language server locally at `localhost:4096` by running `:main -p` in the REPL (`stack repl`).\n\nAdd `lsp://localhost:4096` to `agdaMode.connection.paths` in VS Code's settings, then hit \u003ckbd\u003eC-x\u003c/kbd\u003e \u003ckbd\u003eC-s\u003c/kbd\u003e to select it as the endpoint.\n\nThis allows you to reload the language server in the REPL without recompiling and reinstalling the whole project every time you make changes.\n\n### Creating development releases\n\nTo create a development pre-release, push to the `master` branch:\n\n```bash\ngit push origin master\n```\n\nThis creates/updates the `dev` pre-release with artifacts from the latest `master` commit on all supported targets.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda-language-server","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fagda%2Fagda-language-server","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda-language-server/lists"}