T2 SCANNED

majiayu000/claude-skill-registry/lean4-ffi-constructor-layout-nathanial-lean-workspace

majiayu000·Coding·majiayu000/claude-skill-registry·skills/other/lean4-ffi-constructor-layout-nathanial-lean-workspace/SKILL.md ↗·Updated May 14, 2026

majiayu000/claude-skill-registry

community

Install

# npm
$ npx vskill@latest install majiayu000/claude-skill-registry/lean4-ffi-constructor-layout-nathanial-lean-workspace

# bun
$ bunx vskill@latest install majiayu000/claude-skill-registry/lean4-ffi-constructor-layout-nathanial-lean-workspace

# pnpm
$ pnpx vskill@latest install majiayu000/claude-skill-registry/lean4-ffi-constructor-layout-nathanial-lean-workspace

# yarn
$ yarn dlx vskill@latest install majiayu000/claude-skill-registry/lean4-ffi-constructor-layout-nathanial-lean-workspace

# alternative
$ npx vskill@latest install majiayu000/claude-skill-registry --skill lean4-ffi-constructor-layout-nathanial-lean-workspace

──Security

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

──Quality Evaluation

No evaluation data available yetView eval results →

Popularity

302stars54forks1007d trend

1h ago

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/majiayu000/claude-skill-registry/lean4-ffi-constructor-layout-nathanial-lean-workspace/badge)](https://verified-skill.com/skills/majiayu000/claude-skill-registry/lean4-ffi-constructor-layout-nathanial-lean-workspace)