agentmods.dev

programming-language MCP servers

3 tagged programming-language, measured the same way as everything else here.

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 3 mods

sema

01

sema-lisp/sema

MCP server Claude CodeCodexCursor +2

MCP server "sema" as configured in sema-lisp/sema. Launched with https://github.com/sema-lisp/sema/releases/download/v1.35.0/sema.mcpb.

not rated 41 today A tokens not measured original MIT

lu-mcp-server

02

rafapra3008/cervellaswarm

MCP server Claude CodeCodexCursor +2

MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types. Runs locally from the lu-mcp-server Python package.

not rated 10 21d ago A tokens not measured original Apache-2.0

deed

03

deed-lang/deed

MCP server Claude CodeCodexCursor +2

MCP server "deed" as configured in deed-lang/deed. Launched with deed-lang.

not rated 8 25d ago A tokens not measured original Apache-2.0