Is the agda-mcp-server MCP server actively maintained?

The agda-mcp-server MCP server was last committed 1d ago and has 0 contributors. Issue health: 0% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

agda-mcp-server MCP Server

Name: InvariantHoldings/agda-mcp-server
Rating: 2.6 (1 reviews)
Author: InvariantHoldings

InvariantHoldings/agda-mcp-server

Score: 40.4 Rank #9113 MCP Server

Are you the maintainer of InvariantHoldings/agda-mcp-server? Claim this listing →

MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.

Add AgentRank to Claude Code Discover and compare tools like InvariantHoldings/agda-mcp-server — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

InvariantHoldings/agda-mcp-server is a TypeScript MCP server. MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.

Ranked #9113 out of 29331 indexed tools.

Actively maintained with commits in the last week.

Ecosystem

TypeScript NOASSERTION

Score Breakdown

Stars 15% 1

1 stars → early stage

Freshness 25% 1d ago

Last commit 1d ago → actively maintained

Issue Health 25% 0%

0/20 issues closed → many open issues

Contributors 10% 0

0 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 0

Description Good

License NOASSERTION

Weights: Freshness 25% · Issue Health 25% · Dependents 25% · Stars 15% · Contributors 10% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

License low impact

Add an MIT or Apache-2.0 license to signal trust and enable adoption

Issue Health high impact

You have 20 open vs 0 closed issues — triaging stale issues improves health

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/InvariantHoldings--agda-mcp-server)](https://agentrank-ai.com/tool/InvariantHoldings--agda-mcp-server/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/InvariantHoldings--agda-mcp-server/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/InvariantHoldings--agda-mcp-server" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="InvariantHoldings/agda-mcp-server"></script>

Details

Stars: 1
Forks: 0
Open Issues: 20
Closed Issues: 0
Contributors: 0
Dependents: —
Language: TypeScript
License: NOASSERTION
Last Commit: 1d ago

Matched Queries

"mcp server""mcp-server"

See alternatives to InvariantHoldings/agda-mcp-server → Browse mcp-server category → Compare InvariantHoldings/agda-mcp-server → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →