What tools does the frama-c-mcp MCP server provide?

The tool list for frama-c-mcp has not been read. It is distributed as a local (stdio) package, which cannot be queried over a network without installing it.

Does frama-c-mcp require an API key?

Not known. frama-c-mcp has not been successfully queried, so its authentication requirements are unverified.

Connection check local install

frama-c-mcp

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

Tools —

GitHub stars 18

Installs / wk —

Licence MIT

Transport —

Last checked never

Tools & capabilities

0 tools

Distributed as a local package with no endpoint to query, and no tool declarations could be read from its published source.