1. Conduid
  2. Blockchain
  3. Agda MCP
MCP server · Blockchain

Agda MCP

by · github.com/peterthiemann/agda-mcp

MCP server based on agda --interaction-json

Unclaimed blockchain
InstallView source
35Low

Scored 13 days ago · breakdown

About Agda MCP

Agda MCP is an MCP server published by peterthiemann in the Blockchain category: mCP server based on agda --interaction-json.

Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/peterthiemann/agda-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (18)

agda_autoPreview proof search, or apply and typecheck its solution

Parameters not published.

agda_case_splitPreview case-split clauses, or apply and typecheck them

Parameters not published.

agda_infer_typeInfer a type in top-level or goal-local scope

Parameters not published.

agda_job_awaitCollect a pending job's result, waiting up to `waitMs`

Parameters not published.

agda_job_await_anyWait for the FIRST of several jobs to finish

Parameters not published.

agda_job_cancelAbort a pending job

Parameters not published.

agda_job_listList jobs still running or awaiting collection

Parameters not published.

agda_job_statusReport a job's state without waiting

Parameters not published.

agda_load_moduleSelect a workspace and load/typecheck one top-level module

Parameters not published.

agda_normalize_expressionNormalize in top-level or goal-local scope

Parameters not published.

Show all 18 tools
agda_query_metavariablesQuery visible and backend-published invisible metas

Parameters not published.

agda_refinePreview a refinement/introduction, or apply and typecheck it

Parameters not published.

agda_retrieve_constraintsRetrieve current constraints

Parameters not published.

agda_retrieve_contextRetrieve a goal type, local context, and boundary

Parameters not published.

agda_retrieve_contextsRetrieve contexts for several goals in one round trip

Parameters not published.

agda_retrieve_goalsRetrieve current visible goals and opaque handles

Parameters not published.

agda_server_infoReport Agda discovery, compatibility, capabilities, and sessions

Parameters not published.

agda_typecheckReload/typecheck the active workspace module

Parameters not published.

Ask AI

✦

Ask AI about Agda MCP

Powered by Claude · Grounded in docs

I know everything about Agda MCP. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Agda MCP

How do I install Agda MCP?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Agda MCP safe to use with an AI agent?

Its trust score is 35 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Agda MCP still maintained?

Yes — the last commit was 6 days ago. The repository has 0 stars and 1 forks.