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 last commit 9 months ago devtools
InstallView source
51Fair

Scored 4 months 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. It has been installed 0 times through Conduid.

Six months or more without a commit doesn't mean the server is broken, but check the open issues (0) before depending on it in production.

Install

Install
npx 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 presentNot checked yet.
  • ·License declaredNot checked yet.
  • ·Tests presentNot checked yet.
  • ·Dependencies pinnedNot checked yet.
  • ·No dynamic code executionNot checked yet.
  • !Scoped permissionsDoesn't declare a permission scope. Assume it can do anything its process can.

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 mirrored from the source repository 4 months ago. The original is authoritative.

Questions

About Dotty MCP

How do I install Dotty MCP?

Run npx dotty-mcp, then add the server to your MCP client's configuration. Conduid has recorded 0 installs, so the command is known to work with current clients.

Is Dotty MCP safe to use with an AI agent?

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

Is Dotty MCP still maintained?

The last commit was 9 months ago, with 0 open issues. That's long enough that you should check whether the maintainer is responding to issues before depending on it.