compile-compcert

13 stars 1 forks

Guide for building CompCert, the formally verified C compiler, from source. This skill should be used when compiling, building, or installing CompCert, or when working with Coq-based software that has strict dependency version requirements. Covers OCaml/opam setup, Coq version compatibility, memory management, and common build pitfalls.

Third-Party Agent Skill: Review the code before installing. Agent skills execute in your AI assistant's environment and can access your files. Learn more about security

Installation for Agentic Skill

View all platforms →

Claude Code (CLI) Fast

skilz install letta-ai/skills/compile-compcert

OpenCode (CLI) Fast

skilz install letta-ai/skills/compile-compcert --agent opencode

OpenAI Codex (CLI) Native

skilz install letta-ai/skills/compile-compcert --agent codex

Gemini CLI (Project) Project

skilz install letta-ai/skills/compile-compcert --agent gemini

First time? Install Skilz: pip install skilz

Works with 22+ AI coding assistants

Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...

View All Agents

For Claude Desktop Easy

Download Agent Skill ZIP

Extract and copy to ~/.claude/skills/ then restart Claude Desktop

Manual Installation

1. Clone the repository:

git clone https://github.com/letta-ai/skills

2. Copy the agent skill directory:

cp -r skills/ai/benchmarks/letta/terminal-bench-2/trajectory-feedback/compile-compcert ~/.claude/skills/

View on GitHub

Need detailed installation help? Check our platform-specific guides:

Claude Desktop Guide Claude Code Guide Troubleshooting

Related Agentic Skills

exec-briefing

by gtmagents

Use to craft concise executive updates, agendas, and follow-up logs for QBR/EBR sessions.

ci cd

Marketplace

makefile-review

by athola

Audit Makefiles for duplication, portability, and idiomatic GNU Make usage.Triggers: Makefile review, build system, GNU Make, portability, deduplic...

TECHci cd

Marketplace

build-assistant

by vanman2024

Build Claude Code framework components (agents, slash commands, skills, plugins) following standardized templates. Use when creating new agents, co...

TECHci cd

Marketplace

astro-patterns

by vanman2024

Astro best practices, routing patterns, component architecture, and static site generation techniques. Use when building Astro websites, setting up...

TECHci cd

Marketplace

Agentic Skill Details

Owner: letta-ai (GitHub)
Repository: skills
Stars: 13
Forks: 1
Type: Technical
Meta-Domain: development
Primary Domain: ci cd
Market Score: 21

Agentic Skill Grades →

Browse Category

More development Agentic Skills

Report Security Issue

Found a security vulnerability in this agent skill?