Home / Owners / sysprog21

sysprog21/frama-c-mcp

1 agent markdown file indexed from sysprog21/frama-c-mcp. Install any of them pinned to an exact hash with mdr add sysprog21/frama-c-mcp/<name>.

frama-c-proofreader skill

sysprog21/frama-c-mcp · skills/frama-c-proofreader/SKILL.md · Verify and proofread C code with ACSL using this repository's Frama-C MCP workflow, Frama-C WP static proof, EVA…

git:20260917.4afb1b2 · audit A · 33 stars

Source

github.com/sysprog21/frama-c-mcp · 33 stars · license MIT · pushed 2026-09-23