T3 VERIFIED

lazyfroglol/harness_engineering/compile-compcert

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

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

121stars25forks07d trend

──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

ClineAmp

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)