semantic-scala
Bounded Scala compiler, build, test, type, effect, symbol, and SemanticDB evidence for agents.
Servidor MCP · de DmytroMitin
Resumo
semantic-scala é um servidor MCP publicado por DmytroMitin. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-13.
O que pede
- Roda na sua máquina
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.1.0-alpha.3 | Forks (GitHub): 0 Estrelas (GitHub): 2 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Check, compile, run, and test Sounio programs locally.
-
Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links
-
Bounded, source-write-free Rust correctness tools grounded in Cargo and rustc output.
-
mcp io.github.sapiom/mcp
Local Sapiom developer MCP for authoring, testing, deploying, and inspecting agents.
-
modelbound-mcp io.github.ModelBound/modelbound-mcp
Local-first MCP server for agent skills. Validate, lint, diff, and convert across IDEs.
-
build io.github.Dave-London/build
Structured build tool output (tsc, generic commands) as typed JSON diagnostics.
-
codexa io.github.mirnoorata/codexa
Codex-native codebase intelligence context compiler and query-only MCP server.
-
xmp4 — Semantic code knowledge for your stack
OSS libs in your stack, really used: source, tests, callers. C#, Java, TS, Python, Rust, PHP+.
-
toolc dev.toolc/toolc
Optimizing compiler for agent tools: many MCP servers or REST APIs in, one lean endpoint out.
-
mcp-factory io.github.jaimenbell/mcp-factory
Manifest-driven MCP server scaffolder and runtime hub for tool integrations.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
Production Java Maven scaffolder (CLI + Claude Code plugin) for AI coding agents
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain language, choose TypeScript or Python, and get…
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
Listado em Claude Code: claude-plugins-official (5)
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
Skills for designing and building MCP servers that work seamlessly with Claude. Guides you through deployment models (remote HTTP, MCPB, local), tool design patterns, auth, and…
-
Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.
-
MCP server for terminal commands, file operations, and process management
Listado em Claude: knowledge-work-plugins (5)
-
MCP server for terminal commands, file operations, and process management
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
-
Create, customize, and manage plugins tailored to your organization's tools and workflows. Configure MCP servers, adjust plugin behavior, and adapt templates to match how your…
Listado em Codex: openai-curated (openai/plugins) (5)
-
Build, run, test, debug, instrument, and implement local macOS apps using Xcode, SwiftUI, AppKit interop, unified logging, and shell-first desktop workflows.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
CrowdStrike Falcon Fusion skills for authoring, deploying, and executing Fusion workflows. Includes live action discovery, YAML authoring with schema validation, workflow import…
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
Listado em Community GitHub marketplaces (5)
-
archlang-mcp io.github.ChanMeng666/archlang-mcp
Compile, describe, lint, validate, score, repair, fix, finish, suggest and complete ArchLang plans.
-
roslyn-mcp io.github.darylmcd/roslyn-mcp
Local-first MCP server for semantic C# analysis & refactoring via Roslyn & MSBuildWorkspace.
-
TypeScript inferred types, completions and type errors for AI coding agents
-
Composable skill packets, harvests, workflow routing, and release/audit rubrics over MCP.
-
calm-mcp io.github.Eilodon/calm-mcp
MCP server giving coding agents a call-graph-aware, hash-verified view of a codebase, not grep.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Complete toolkit for building Model Context Protocol servers in Java using the official MCP Java SDK with reactive streams and Spring Boot integration.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Build Model Context Protocol (MCP) servers in Python with the official MCP Python SDK v2 (MCPServer). Includes a skill that generates a server project and an expert agent for…
Listado em Copilot CLI: github/copilot-plugins (5)
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
power-automate
Build, edit, run, and debug Power Automate cloud flows via the FlowAgent MCP server — connection lifecycle, surgical edits, copy across environments, run management, and validated…
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Listado em Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
Scaffold and validate new agent plugins.
Listado em Docker MCP Catalog (5)
-
Remote MCP server for the Hackle Admin API: experiments, feature flags, remote config, messaging.
-
buildkite-mcp-server io.github.buildkite/buildkite-mcp-server
MCP server exposing Buildkite API data (pipelines, builds, jobs, tests) to AI tooling and editors.
-
maven-tools-mcp io.github.arvindand/maven-tools-mcp
JVM dependency intelligence for AI assistants via Maven Central
-
Official Arm MCP server for code migration, optimization, and Arm architecture guidance
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
Listado em Official MCP Registry (5)
-
Check, compile, run, and test Sounio programs locally.
-
Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links
-
Bounded, source-write-free Rust correctness tools grounded in Cargo and rustc output.
-
mcp io.github.sapiom/mcp
Local Sapiom developer MCP for authoring, testing, deploying, and inspecting agents.
-
modelbound-mcp io.github.ModelBound/modelbound-mcp
Local-first MCP server for agent skills. Validate, lint, diff, and convert across IDEs.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.