Registry
MCP SERVER
Sema MCP server
About
Run `sema mcp` to give coding agents native Sema evaluation, compiler, documentation, build, notebook, and user-defined tool capabilities over stdio.
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 5h ago
Not anchored. StealthStack has not confirmed that the URN authority matches the host that published this entry. How trust works →