sysprog21/frama-c-mcp

SkillsMP has collected 1 skills from sysprog21/frama-c-mcp. Open a skill to review its source and details.

sysprog21 profile View on GitHub

Latest recorded source activity: August 25, 2026 at 05:54

SkillsMP catalog refreshed: August 30, 2026 at 18:55

skills collected: 1

GitHub stars: 17
GitHub forks: 3

Skills in this repository

classification pending

skill

occupation

description

updated

frama-c-proofreader

unclassified

Verify and proofread C code with ACSL using this repository's Frama-C MCP workflow, Frama-C WP static proof, EVA alarms, and optional E-ACSL runtime checks. Use when asked to run Frama-C, check ACSL contracts, explain WP goals, inspect EVA alarms, validate C…

2026-08-25

Showing 1 of 1 collected skills.