Related Servers

No user-submitted related servers found.

Related Servers

• MCP SDD Server

  yi-john-huang

  A

  license

  C

  quality

  A

  maintenance

  An MCP server implementing Spec-Driven Development workflows for AI-agent CLIs and IDEs like Claude Code and Cursor, enabling spec-first development with automated workflow guidance and quality checks.

  Updated a month ago (2026-07-25 06:01 UTC)

  16

  103

  48

  MIT

• Proof Mode

  vikramlaishram-lang

  -

  license

  -Not graded

  quality

  C

  maintenance

  An MCP server implementing a multi-phase backend for structured model interactions, bounded compilation, exact-hash confirmation, and Codex-run provenance, with trust-separation hardening.

  Updated a month ago (2026-07-17 11:53 UTC)

  1

• Nightman

  Falcon305

  A

  license

  -Not graded

  quality

  B

  maintenance

  MCP server for hunting bugs in Python functions via adversarial input generation and minimized regression tests.

  Updated a month ago (2026-07-19 19:03 UTC)

  MIT

• kcf-mcp

  mikec-chi

  A

  license

  -Not graded

  quality

  C

  maintenance

  MCP server that lets Claude, ChatGPT, or VS Code build a complete, machine-checked model of your domain and generate an app from it.

  Updated a month ago (2026-07-27 14:33 UTC)

  Apache 2.0

• Swarm Orchestrator

  Of-Arte

  A

  license

  -Not graded

  quality

  C

  maintenance

  An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.

  Updated 2 months ago (2026-06-23 00:45 UTC)

  MIT

• speckitmcp

  jthom233

  A

  license

  A

  quality

  D

  maintenance

  MCP server that integrates GitHub Spec-Kit with AI coding agents to manage Spec-Driven Development workflows, including specification authoring, planning, task generation, and consistency analysis.

  Updated 6 months ago (2026-02-27 21:00 UTC)

  13

  1

  MIT