T3 VERIFIED

Skill v1.0.0(1 version)

lazyfroglol/harness_engineering/compile-compcert

Name: compile-compcert
Author: lazyfroglol

lazyfroglol·Coding·lazyfroglol/harness_engineering·skills/compile-compcert/SKILL.md ↗·Updated Sep 24, 2026

Source check pending

This skill was recently updated. Verifying source availability...

lazyfroglol/harness_engineering

communityext:[{"type":"hook","description":"Pre/post lifecycle hooks"}]

Install

# npm
$ npx vskill@latest install lazyfroglol/harness_engineering/compile-compcert

# bun
$ bunx vskill@latest install lazyfroglol/harness_engineering/compile-compcert

# pnpm
$ pnpx vskill@latest install lazyfroglol/harness_engineering/compile-compcert

# yarn
$ yarn dlx vskill@latest install lazyfroglol/harness_engineering/compile-compcert

# alternative
$ npx vskill@latest install lazyfroglol/harness_engineering --skill compile-compcert

Semi-Extensible — mentions customization but requires skill-specific knowledge. Learn more →

──Security

Tier 1PASS 95/100Tier 2PASSView full security report →

──Quality Evaluation

No evaluation data available yetView eval results →

Popularity

122stars26forks247d trend

129d ago

──Extension Points

hookPre/post lifecycle hooks

Learn the Extensible Skills Standard →

Works with

Works with all 39 vskill-compatible agents

Claude Code

Cursor

GitHub Copilot

Windsurf

Codex

Gemini CLI

Cline

Amp

Roo Code

Goose

Continue

Kilo Code

Junie

Trae

OpenHands

Qwen CodeAI AgentTabnine ChatSourcegraph CodyAmazon QFirebase GenkitSweepDevinPhindMentatClaude DesktopAiderGPT PilotPlandexbolt.newv0

Replit AgentAnseTypingMindBetterChatGPTLibreChatWarp AIPiecesFig AI

Embed badge

Markdown

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/lazyfroglol/harness_engineering/compile-compcert/badge)](https://verified-skill.com/skills/lazyfroglol/harness_engineering/compile-compcert)