twoLoop-40/idris2-mcp-server
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.
Tools
Functions exposed to the LLM to take actions
check_idris2
Type-check Idris2 code and return compiler output.
explain_error
Provide plain language error explanations with suggestions.
get_template
Generate code templates for common patterns.
validate_syntax
Quick syntax validation to detect issues like long parameter names.
suggest_fix
Offer intelligent error fix suggestions.
search_guidelines
Search across all guidelines for specific topics.
get_guideline_section
Extract focused sections from documentation.
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client