标签：类型检查

用于Agda的MCP服务器，提供类型检查、跳转到定义、案例拆分、自动证明搜索等功能，适用于开发环境中的代码交互。

Pylance MCP Server是一个生产就绪的Python智能代码辅助服务，提供代码补全、类型检查、安全重构等功能，适用于AI辅助编程和代码优化场景。