Registry
MCP SERVER Developer tools
Sema MCP server
Local Sema MCP for evaluation, compiling, docs, builds and notebooks.
About
Run `sema mcp` to give coding agents native Sema evaluation, compiler, documentation, build, notebook, and user-defined tool capabilities over stdio.
At a glance
- Category
- Developer tools Framework docs
- Made for
- Developers
Category, summary and these details are StealthStack's reading of the publisher's own listing. Check the publisher's page before you rely on them.
Capabilities
-
SemaEval -
SemaBuild -
SemaDocs -
SemaNotebook -
SemaDeftool
Provenance
- Discovered
- Crawled directly
- Identifier
- urn:air:sema-lang.com:mcp:sema
- Catalog host
- sema-lang.com · crawled directly
- Anchor check
- Not anchored
- Last crawled
- seen 4h ago
Not anchored. StealthStack has not confirmed that the URN authority matches the host that published this entry. How trust works →