🧩

Frama C MCP Server

Open-source skill, curated and packaged by MarketNow. Original authors retain all rights.

$7.26

General rust Verified 4/5

An MCP server for Frama-C, enabling AI agents to perform C program formal verification — abstract in

generalrustframa

Install

# See README

Sentinel: 4/5 — Verified

Language: rust

Category: General

Slug: frama-c-mcp-server

Docker: ✗ No

Verified: ✓ Yes

Price: $7.26

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 4/5](https://marketnow.site/badge/frama-c-mcp-server.svg)](https://marketnow.site/skill/frama-c-mcp-server)