mcp-coq-lsp

MCP Server

by scidonia

mcpmarket.cn⭐ 37/10

集成神经网络与Coq的神经符号编程工具

Integrates neural networks with Coq for neurosymbolic programming.

📊 商业分析

核心功能

为Coq提供神经符号编程能力

商业模式

开源+商业授权

独特价值

结合神经网络与符号推理提升编程效率

竞品

["Lean 4", "Isabelle/HOL"]

🎯 应用场景

使用场景

形式化验证智能代码生成定理证明辅助

适用领域

软件开发学术研究人工智能

目标用户

开发者研究人员AI工程师

📦 安装方式

🔗 安装/下载链接 →

工具信息

类型: MCP Server
平台: mcpmarket.cn
Stars: ⭐ 3
价值评分: 7/10
子分类: 神经符号编程
复杂度: medium
可商业化: ✅ 是

AI 标签

神经符号形式化验证CoqAI编程智能开发

相关工具推荐

shell-mcp-serverMCP

Shell MCP Server enables secure shell command execution for AI applications.

封装cast管理EVM钱包与交易，涵盖开户、私钥、网络切换与安全检查的自动化流程

按目标计算卡路里与宏量营养，制定分餐时序与食谱清单，支持减脂增肌与健康管理建议等

psychologistSKILL

提供共情倾听与循证心理技巧，追踪情绪，生成个性化练习并对接援助资源与安全提醒功能

mplx-genesisSKILL

基于Metaplex Genesis在Solana一键创建与发布代币，自动生成元数据、权限与铸造参数，支持模板化与安全校验。