Frama C Mcp Server
MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification
MaintainedNot tested
★ 2GitHub
24DNo CVEsmaintainedMIT
Quick Install
{
"mcpServers": {
"frama-c-mcp-server": {
"command": "<see-readme>",
"args": []
}
}
}No install config available. Check the server's README for setup instructions.
Are you the author?
Add this badge to your README to show your security score and help users find safe servers.
Embed in your READMEAbout badges →
[](https://mcppedia.org/s/frama-c-mcp-server)
Should you use this server?
MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification
✓
Is it safe?
No package registry to scan.
No authentication — any process on your machine can connect.
MIT. View license →
✓
Is it maintained?
Last commit 47 days ago. 2 stars.
i
Will it work with my client?
Transport: stdio. Works with Claude Desktop, Cursor, Claude Code, and most MCP clients.
Test This Server
No automated test available for this server. Check the GitHub README for setup instructions.
Score Breakdown
Security
6/30No known vulnerabilities.
○
Known CVEs — No package registry to scan
○
Tool safety — No tools to analyze
○
Tool poisoning — No tools to analyze
○
Injection vectors — No tools to analyze
✓
Tool stability — Tool definitions stable
○
Dependency health — No package to analyze
✓
License — License: MIT
○
Authentication — No authentication required
○
