MCP servers tagged language-design

3 live MCP servers tagged "language-design", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with language-design.

live servers

avg trust

most stars

Aegis Lang

RRFDunn

A security-by-construction programming language for AI agents

★ 13updated 7 months ago

Lova Lang

npcnpc09

LOVA — an AI-native language whose programs are integers: 64 one-byte operators, structured faults with repair hints, declared and granted effects, built-in termination and budget…

★ 2updated a month ago

Nyra

SpAkXD

The language AI agents can run unsupervised: near-Python token cost, native speed, and capabilities that deny a program everything it didn't declare.