frama-c-mcp

源码

MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration

⭐ 33开发工具Rust仓库 ↗

安装配置

查看源码仓库 →

相关服务器

n8n⭐ 206.5k · 开发工具gemini-cli⭐ 107.2k · 开发工具reactive-resume⭐ 43.7k · 开发工具serena⭐ 29.9k · 开发工具context-mode⭐ 24.9k · 开发工具activepieces⭐ 24.8k · 开发工具