semantic-scala
Bounded Scala compiler, build, test, type, effect, symbol, and SemanticDB evidence for agents.
MCP-сервер · от DmytroMitin
Коротко
semantic-scala: MCP-сервер, издатель DmytroMitin. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-14.
Что просит
- Работает на вашем компьютере
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 0.1.0-alpha.3 | Форки (GitHub): 0 Звёзды (GitHub): 2 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Что менялось
С тех пор как мы следим за плагином, ничего не менялось.
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
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.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине 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.
Есть на витрине 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
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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…
-
Build Model Context Protocol (MCP) servers in Java with the official MCP Java SDK 2.x. Includes a skill that generates a server project and an expert agent for guidance.
-
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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Это ваш плагин?
Добавьте плагин в свои проекты и докажите, что поддерживаете его: файлом в репозитории, файлом на вашем домене или DNS-записью. Вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.