1. Conduid
  2. Developer Tools
  3. Dotty MCP
MCP server · Developer Tools

Dotty MCP

by · github.com/Linyxus/dotty-mcp

Minimal MCP server for Dotty development.

Unclaimed MIT devtools
InstallView source
51Fair

Scored 2 days ago · breakdown

About Dotty MCP

Dotty MCP is an MCP server published by Linyxus in the Developer Tools category: minimal MCP server for Dotty development.

Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/Linyxus/dotty-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Dotty MCP

Powered by Claude · Grounded in docs

I know everything about Dotty MCP. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

  • ✓README presentThe repository ships documentation.
  • ✓License declaredUsable under a stated license.
  • !Scoped permissionsDoesn't declare a permission scope. Assume it can do anything its process can.

3 checks have not been run yet.

README

dotty-mcp

A Model Context Protocol (MCP) server for developping the Scala 3 compiler.

It provides one single tool:

  • scalac(files, options) which compiles one or more test files with the development compiler, and returns the outputs.

Installation

For Claude Code

# If running from within your Dotty project directory
claude mcp add dotty-mcp -- uvx dotty-mcp

License

MIT

README copy captured when this server was indexed; it may lag the repository. The original is authoritative.

Questions

About Dotty MCP

How do I install Dotty MCP?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Dotty MCP safe to use with an AI agent?

Its trust score is 51 out of 100 (fair). It passes 2 of the 3 static security checks run so far; the failures are listed above. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Dotty MCP still maintained?

Yes — the last commit was 2 months ago. The repository has 0 stars and 0 forks.