semantic-scala
io.github.DmytroMitin/semantic-scala
Bounded Scala compiler, build, test, type, effect, symbol, and SemanticDB evidence for agents.
- Category
- Developer Tools
- Version
- 0.1.0-alpha.3
- Registry
- active
- Published
- 9/20/2026
More Developer Tools servers
Browse all Developer Tools →
io.github.dnotitia/akb
dnotitia
Git-backed org memory for AI agents — hybrid search, tables, files & a URI graph over MCP.
io.github.dns-aid/dns-aid
dns-aid
Discover and publish AI agents via DNS using SVCB records (RFC 9460)
io.github.do-droid/busan-essentials
do-droid
Find the nearest restroom, pharmacy, WiFi, or AED in Busan, Korea. 8,680 places, Korean+English.
io.github.do-droid/seoul-essentials
do-droid
22,000+ Seoul public facility data for tourists: restrooms, pharmacies, WiFi, AEDs, and subway.
io.github.doazvjettu/leakguard-mcp
doazvjettu
Static analyzer flagging lookahead bias & data leakage in ML/trading code before backtest.
DoboCache
dobo123123
MCP server for LLM prompt-cache observability: prefix diagnostics and per-call white-box report.
Add the badge to your site
Show visitors that semantic-scala is listed here — it’s also the link we check for a free listing.
HTML — for your website
<a href="https://serverdex.io/server/io-github-dmytromitin-semantic-scala?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="semantic-scala — listed on Serverdex" width="123" height="40" loading="lazy"></a>Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.
Markdown — for your README
[](https://serverdex.io/server/io-github-dmytromitin-semantic-scala?utm_source=badge)Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.