MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
☆36Nov 4, 2026Updated this week
Alternatives and similar repositories for frama-c-mcp
Users that are interested in frama-c-mcp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reduce Claude Code token usage by 35-50% when using CJK (Chinese, Japanese, and Korean)☆56Nov 2, 2026Updated last week
- 提供給AI 使用的UART console tool.☆22Updated this week
- A live technical interview simulator☆226Updated this week
- Doom classic port to lightweight RISC‑V☆12Jan 1, 2026Updated 10 months ago
- Solver for the 2×2×2 Rubik’s Cube☆11Sep 28, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Linux on Arm Cortex-M☆16May 19, 2026Updated 5 months ago
- Generation of mutant programs☆20Oct 31, 2018Updated 8 years ago
- A simple serial console utility☆18May 4, 2026Updated 6 months ago
- Adds more of the standard C/POSIX programming interface to Picolibc.☆15Feb 17, 2026Updated 8 months ago
- E-Book: Let AI teach you shell☆23Mar 22, 2026Updated 7 months ago
- ☆10Nov 13, 2022Updated 3 years ago
- L2E llama2.c on Commodore C-64☆19Feb 22, 2025Updated last year
- 109上 作業系統概論 Introduction to Operating Systems 張立平☆10Jun 28, 2021Updated 5 years ago
- A simple multitasking OS kernel☆114Feb 4, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Apr 13, 2026Updated 6 months ago
- generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urnsediva-356745☆14Jun 7, 2026Updated 5 months ago
- ☆15Apr 26, 2021Updated 5 years ago
- Wolfenstein 3D-style raycasting implementation☆52Mar 22, 2026Updated 7 months ago
- 开源书籍：《C语言编程透视》☆22Dec 16, 2015Updated 10 years ago
- ☆11Sep 30, 2026Updated last month
- ☆13Jun 7, 2025Updated last year
- A lightweight emulator illustrating the inner workings of NES, including the 6502 CPU and PPU, with a WASM port and support of classic ga…☆22Jun 7, 2024Updated 2 years ago
- Play Tetris game automatically!☆62Aug 10, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Oct 30, 2026Updated last week
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp☆99Sep 29, 2026Updated last month
- ai + humans creating science☆11Feb 11, 2026Updated 8 months ago
- UW CHEME 375 and applications in CHEME 310, 326. Chemical engineering scientific computing and numerical methods. Topics include curve fi…☆17Jun 3, 2023Updated 3 years ago
- 透過 macOS 上的 Karabiner-Elements 將剪貼簿文字去除縮排並以純文字貼上，現在也支援圖片轉文字功能。☆33Updated this week
- PID server for Fresh Roast SR700 for use with Artisan roasting software☆11Nov 25, 2018Updated 7 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 6 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Open CLAW Knowledge Distiller · 龍蝦知識蒸餾器 — Turn YouTube/Bilibili videos into structured knowledge articles. Local Qwen3-ASR MLX + AI summa…☆65Mar 10, 2026Updated 7 months ago
- An in-process implementation of Xlib layered on top of SDL2/SDL3☆127Aug 31, 2026Updated 2 months ago
- An accuracy-first SEGA Saturn emulator in Rust.☆15Oct 2, 2026Updated last month
- ☆13Feb 27, 2014Updated 12 years ago
- A CLI coding agent powered by a friendly paperclip☆14Feb 26, 2026Updated 8 months ago
- ☆12Updated this week
- Headless agent framework with Bash, Ripgrep, and MCP support - invocable via TypeScript SDK, Python SDK, and CLI☆12Oct 28, 2025Updated last year