twoLoop-40/idris2-mcp-server
3.2
If you are the rightful owner of idris2-mcp-server and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to dayong@mcphub.com.
The Idris2 MCP Server is an enhanced Model Context Protocol server designed to facilitate intelligent guideline access and type-safe code generation for Idris2.
Comments
No comments yet. Be the first to comment!