Related Servers

No user-submitted related servers found.

Related Servers

• agda-mcp

  DreamLinuxer

  F

  license

  B

  quality

  D

  maintenance

  MCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.

  Updated 6 months ago (2026-03-16 21:49 UTC)

  30

  2

  -

• rocq-piler

  scidonia

  A

  license

  -Not graded

  quality

  B

  maintenance

  MCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.

  Updated 2 months ago (2026-08-05 19:19 UTC)

  8

  Apache 2.0

• agda-mcp

  peterthiemann

  A

  license

  A

  quality

  A

  maintenance

  Provides an MCP interface for Agda's JSON interaction protocol, enabling type checking and interactive editing of Agda modules with support for workspace management and non-blocking operations.

  Updated 2 months ago (2026-08-07 14:28 UTC)

  18

  6 npm

  MIT

• MCP-PIF Server

  hungryrobot1

  F

  license

  -Not graded

  quality

  F

  maintenance

  This server implements the Model Context Protocol to facilitate meaningful interaction and understanding development between humans and AI through structured tools and progressive interaction patterns.

  Updated a year ago (2025-10-20 14:28 UTC)

  57

  -

• MCP Server Demo

  tian1ll1

  F

  license

  -Not graded

  quality

  D

  maintenance

  A demonstration implementation of the Model Context Protocol server that facilitates communication between AI models and external tools while maintaining context awareness.

  Updated 2 years ago (2025-03-24 01:04 UTC)

  -

• CodeAnalysis MCP Server

  0xjcf

  F

  license

  D

  quality

  D

  maintenance

  A comprehensive Model Context Protocol server for advanced code analysis that provides tools for syntax analysis, dependency visualization, and AI-assisted development workflow support.

  Updated 8 months ago (2026-01-20 23:07 UTC)

  28

  7

  -