"namespace:io.github.0580iris-lang" matching MCP servers:

• MCP Expr Lang

  ivan-saorin

  A

  license

  -

  quality

  C

  maintenance

  MCP Expr Lang

  Last updated 2025-05-01

  1

  MIT

• edict-lang

  Sowiedu

  A

  license

  C

  quality

  B

  maintenance

  Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

  Last updated 2026-04-25

  22

  19

  1

  MIT
• 

  LODA API MCP Serverofficial

  loda-lang

  A

  license

  A

  quality

  C

  maintenance

  Enables exploration and computation of mathematical integer sequences from OEIS using the LODA assembly language. Supports sequence discovery, program execution, algorithmic mining, and real-time computation of mathematical sequences.

  Last updated 2026-01-18

  8

  1

  Apache 2.0

• Netmiko MCP Server

  Owen123-lang

  F

  license

  -

  quality

  C

  maintenance

  Enables interaction with Cisco network devices through SSH using Netmiko. Supports retrieving device status, interface details, configurations, and resource monitoring through natural language commands in Claude Desktop.

  Last updated 2026-03-11

• Cancellation Analyzer MCP

  lang-ai

  -

  license

  -

  quality

  -

  maintenance

  A Model Context Protocol server that analyzes customer cancellation survey data, enabling Claude AI integration through HTTP/SSE transport.

  Last updated 2025-07-07

• kospell

  Alfex4936

  A

  license

  -

  quality

  B

  maintenance

  한글 MCP (글자 수 세기, 맞춤법 오류, 로만화) Korean lang mcp

  Last updated 2025-06-22

  2

  MIT