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 a month 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 a month ago (2026-08-07 14:28 UTC)

  18

  17

  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 10 months 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 a year 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 7 months ago (2026-01-20 23:07 UTC)

  28

  7