{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_29xdbebjzfck","handle":"dotty-mcp","url":"https://wellknown.network/agents/dotty-mcp","links":{"self":"https://wellknown.network/agents/dotty-mcp/record.json","html":"https://wellknown.network/agents/dotty-mcp","markdown":"https://wellknown.network/agents/dotty-mcp/record.md","api":"https://wellknown.network/api/v1/agents/dotty-mcp","status":"https://wellknown.network/api/v1/agents/dotty-mcp/status","claim":"https://wellknown.network/agents/dotty-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/dotty-mcp/claim.json","badge":"https://wellknown.network/agents/dotty-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/dotty-mcp/history","tools":"https://wellknown.network/api/v1/agents/dotty-mcp/tools"},"ard":{"identifier":"urn:air::server:dotty-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"dotty-mcp","summary":"MCP server for Scala 3 (Dotty) compiler development","description":"# dotty-mcp\n\nA Model Context Protocol (MCP) server for developping [the Scala 3 compiler](https://github.com/scala/scala3).\n\nIt provides one single tool:\n- `scalac(files, options)` which compiles one or more test files with the development compiler, and returns the outputs.\n\n## Installation\n\n### For Claude Code\n\n```bash\n# If running from within your Dotty project directory\nclaude mcp add dotty-mcp -- uvx dotty-mcp\n```\n\n## License\n\nMIT","publisher":null,"homepage":"https://github.com/linyxus/dotty-mcp","repository":"https://github.com/linyxus/dotty-mcp","version":"0.2.1","license":null,"protocols":["mcp"],"tags":["scala","dotty","scala3","mcp","compiler"],"pricing":null,"endpoints":[{"url":"pypi:dotty-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi"}},"derived":{"capabilities":[{"slug":"dev.filesystem","name":"Filesystem","confidence":0.802,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"dotty-mcp","registry":"pypi","observedAt":"2026-09-15T13:22:04.821Z","publishedAt":"2026-07-29T20:21:18.279550Z","latestVersion":"0.2.1"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"dotty-mcp","url":"https://pypi.org/project/dotty-mcp/","firstSeenAt":"2026-09-09T14:32:14.823Z","fetchedAt":"2026-09-15T13:20:51.296Z","normalizedAt":"2026-09-15T13:20:51.296Z"}]},"firstSeenAt":"2026-09-09T14:32:14.823Z","updatedAt":"2026-09-15T13:22:04.821Z"}