← Back
com.sema-lang/sema
MCP ServerStatus: Published — critical fields verified, some fields unverified
com.sema-lang/sema: MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.
- MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.
Risk
The official sources do not state enough to assess risk.
17
All fields
6
Verified
0
Verified empty
11
Unverified
MCP Server details
Server
| Server identifier | com.sema-lang/sema |
| Ecosystem | mcpb |
| Version | 1.37.0 |
| Transport | STDIO |
| Hosting | UNKNOWN |
| Endpoint | UNKNOWN |
Capability surface
| Tools | UNKNOWN |
| Resources | UNKNOWN |
| Prompts | UNKNOWN |
| Data access | UNKNOWN |
Authentication
| Auth scheme | UNKNOWN |
Destructive tool assessment
UNKNOWN Not assessed: the official source does not describe individual tools.
Critical Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Pricing | UNKNOWN | Not obtained | Not obtained | 0 |
| Availability | UNKNOWN | Not obtained | Not obtained | 0 |
| Language | UNKNOWN | Not obtained | Not obtained | 0 |
| Integration | UNKNOWN | Not obtained | Not obtained | 0 |
| Deployment | UNKNOWN | 2026-10-12 | Not obtained | 0 |
| Commercial use | UNKNOWN | 2026-10-12 | Not obtained | 0 |
Functional Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Capability | UNKNOWN | Not obtained | Not obtained | 0 |
| Automation behavior | UNKNOWN | 2026-10-12 | Not obtained | 0 |
| Input | UNKNOWN | 2026-10-12 | Not obtained | 0 |
| Output | UNKNOWN | 2026-10-12 | Not obtained | 0 |
Change history
- 2026-10-12 Published (some fields unverified)
Registered metadata
| auth_scheme | None |
| data_access | None |
| endpoint | UNKNOWN |
| entity_kind | MCP_SERVER |
| hosting | UNKNOWN |
| license | UNKNOWN |
| package_ecosystem | mcpb |
| package_identifier | https://github.com/sema-lisp/sema/releases/download/v1.37.0/sema.mcpb |
| prompts | None |
| publisher | UNKNOWN |
| requires_secret | UNKNOWN |
| resources | None |
| server_identifier | com.sema-lang/sema |
| source_repository | https://github.com/sema-lisp/sema |
| supported_clients | None |
| tools | None |
| transport | STDIO |
| version | 1.37.0 |
Field verification (17 fields)
| Field | Status | Confidence | Value | Last checked / observed | Evidence |
|---|---|---|---|---|---|
| auth_scheme | ? Unverified | Not obtained | UNKNOWN | 2026-10-12 | No evidence |
| data_access | ? Unverified | Not obtained | None | 2026-10-12 | No evidence |
| endpoint | ? Unverified | Not obtained | UNKNOWN | 2026-10-12 | No evidence |
| hosting | ? Unverified | Not obtained | UNKNOWN | 2026-10-12 | No evidence |
| license | ? Unverified | Not obtained | UNKNOWN | 2026-10-12 | No evidence |
| package_ecosystem | ✓ Verified | Not obtained | mcpb | 2026-10-12 | |
| package_identifier | ✓ Verified | Not obtained | https://github.com/sema-lisp/sema/releases/download/v1.37.0/sema.mcpb | 2026-10-12 | |
| prompts | ? Unverified | Not obtained | None | 2026-10-12 | No evidence |
| publisher | ? Unverified | Not obtained | UNKNOWN | 2026-10-12 | No evidence |
| requires_secret | ? Unverified | Not obtained | UNKNOWN | 2026-10-12 | No evidence |
| resources | ? Unverified | Not obtained | None | 2026-10-12 | No evidence |
| server_identifier | ✓ Verified | Not obtained | com.sema-lang/sema | 2026-10-12 | |
| source_repository | ✓ Verified | Not obtained | https://github.com/sema-lisp/sema | 2026-10-12 | |
| supported_clients | ? Unverified | Not obtained | None | 2026-10-12 | No evidence |
| tools | ? Unverified | Not obtained | None | 2026-10-12 | No evidence |
| transport | ✓ Verified | Not obtained | STDIO | 2026-10-12 | |
| version | ✓ Verified | Not obtained | 1.37.0 | 2026-10-12 |