agda-mcp-server

v0.6.7npm· JavaScript

MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol

The verdict

Maintained. Maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicensePermissive

DepsLean

Maintenance

Last published this month.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

MIT

Dependencies

2 direct dependencies

Recent releases

0.6.7this month
0.6.61 month ago
0.6.51 month ago
0.6.42 months ago
0.6.32 months ago
0.6.22 months ago
0.6.12 months ago
0.6.02 months ago