- Conduid
- Marketplace
- #programming-language
MCP servers tagged programming-language
23 live MCP servers tagged "programming-language", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with programming-language.
Xgo
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, cre…
Awesome Learning
A curated list of awesome learning resources for a Software Test Automation Engineer
Morloc
A strongly-typed, polyglot compiler
Nudge
A typed, replayable, budget-aware programming language for LLM agents. Compiles to Python & TypeScript.
Ingot
A statically typed language and compiler for AI agents. Write once, verify statically, compile to a portable Agent IR.
Tardygrada
A verified runtime for trustworthy AI agents: every claim passes an 8-layer verification pipeline before it counts. Deterministic checks, explainable verdicts, no LLM judging an L…
Python Beginner Book
A book for beginners, in an adventure format
Aegis Lang
A security-by-construction programming language for AI agents
Revl
A language for safe, universal spatiotemporal composability (Cordis paradigm) and orchestration.
Lova Lang
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…
Cuni
CuNi Protocol: 119 languages, one program, same stdout or refuse.
WODCraft
Write a WOD like on the whiteboard; a compiler checks it. An open language for functional-fitness workouts, with its spec, a Python compiler, a Swift port, an MCP server and a VS…
Igl
IGL, Identity Governed Logic: a governed identity graph, policy engine and signed audit chain for AI agents. Every answer cites its records; every action leaves a receipt. Runtime…
OMC
Harmonic-substrate programming language: first-class φ, dual-band LLVM JIT, self-healing compiler, O(log_φπfib N) algorithms, and a substrate-native ML framework whose substrate-a…
Zest Lang
Token-efficient programming language for LLM tool calls; transpiles to Python; ships with MCP server
Ku
Ku/Dao executable-memory language runtime with C VM, self-hosting frontend, and MCP gateway
Terse
Terse — an AI-native code language: a machine-designed, token-dense format for AI coding agents. Open source, Apache-2.0.
Ll Lang
Write once → compile to F#, TypeScript, Python, Java, C#. LLM-optimized syntax. Self-hosting.
Llmlang
A high-performance, token-efficient language designed for LLMs as coders. Features a Rust/LLVM JIT compiler, native SoA memory layout, SIMD auto-vectorization, stack-aware paralle…
Rynix
AI-native systems language: canonical syntax, Zero-GC escape path, colorless fibers, MCP/LSP diagnostics, textual LLVM backend.
Haira
Haira: The programming language for AI agents.
Nyra
The language AI agents can run unsupervised: near-Python token cost, native speed, and capabilities that deny a program everything it didn't declare.
Composable Mission Ready Platform
No description published.