- Conduid
- Marketplace
- #program-synthesis
MCP servers tagged program-synthesis
4 live MCP servers tagged "program-synthesis", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with program-synthesis.
Multilspy
multilspy is a lsp client library in Python intended to be used to build applications around language servers.
Autoevolve
Agent-native evolutionary optimization. Say the goal in english, evolve code toward a measured target with a population of coding agents.
Latentmachine
Infer, verify, and apply data transformation rules from before-and-after examples. Deterministic. Zero dependencies. Runs in the browser.
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…