peterthiemann/agda-mcp
v0.5.0MIT
Develop on-disk Agda proofs with semantic MCP tools and an incremental proof workflow.
commands
- npx agda-mcp0.5.0
plugin.json
- name
- agda-mcp
- version
- 0.5.0
- description
- Develop on-disk Agda proofs with semantic MCP tools and an incremental proof workflow.
- license
- MIT
- extensions
- com.openai
mcp.json
- agdastdionpx --yes agda-mcp@0.5.0 --dynamic-workspaces
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "agda-mcp",
"version": "0.5.0",
"description": "Develop on-disk Agda proofs with semantic MCP tools and an incremental proof workflow.",
"repository": "https://github.com/peterthiemann/agda-mcp",
"license": "MIT",
"keywords": [
"agda",
"proofs",
"mcp"
],
"extensions": {
"com.openai": {
"requires_local_executor": true
}
}
}
What else this package ships
These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.
- openai.yaml
- LICENSE
Client extensions
Data this package carries for particular clients. The directory lists the clients named and never reads what is addressed to them.
- com.openai