Home / Servers / agda-mcp-server
agda-mcp-server MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol
0 Tools
0 Findings
— Last Scanned
Security Findings0 No findings detected. This server passed all 177 detection rules.
Select a category to explore sub-categories, findings, and compliance coverage.
Prompt Injection
14 rules
Tool Poisoning
8 rules
Code Injection
9 rules
Data Exfiltration
9 rules
Privilege & Permissions
9 rules
Insecure Config
14 rules
Dependency Vulns
7 rules
Supply Chain
5 rules
Authentication
6 rules
Adversarial AI
8 rules
Compliance & Governance
14 rules
Supply Chain Advanced
15 rules
AI Runtime Exploitation
9 rules
Protocol Edge Cases
15 rules
Data Privacy Attacks
10 rules
Infrastructure Runtime
10 rules
Cross-Ecosystem Emergent
15 rules