If you find vskill useful, give it a star on GitHub
<< Back to skills
T3 VERIFIED
Skill v1.0.0

ultronozm/linearalgebralemma/lean-workflow-2

ultronozm·Productivity·ultronozm/linearalgebralemma·skills/lean-workflow/SKILL.md·Updated Mar 22, 2026

ultronozm/LinearAlgebraLemma

community
Install
# npm
$ npx vskill install ultronozm/linearalgebralemma/lean-workflow-2

# bun
$ bunx vskill install ultronozm/linearalgebralemma/lean-workflow-2

# pnpm
$ pnpx vskill install ultronozm/linearalgebralemma/lean-workflow-2

# yarn
$ yarn dlx vskill install ultronozm/linearalgebralemma/lean-workflow-2

# alternative
$ npx vskill install ultronozm/linearalgebralemma --skill lean-workflow-2
── Security ────────────────────────────────────────
Tier 1PASS 100/100Tier 2PASSView full security report →
── Quality Evaluation ──────────────────────────────
No evaluation data available yetView eval results →
Popularity
1stars37d trend
23d ago
Works with
Works with all 39 vskill-compatible agents
Claude CodeCursorGitHub CopilotWindsurfCodexGemini CLIClineAmpRoo CodeGooseContinueKilo CodeJunieTraeOpenHandsQwen CodeAI AgentTabnine ChatSourcegraph CodyAmazon QFirebase GenkitSweepDevinPhindMentatClaude DesktopAiderGPT PilotPlandexbolt.newv0Replit AgentAnseTypingMindBetterChatGPTLibreChatWarp AIPiecesFig AI
Embed badge
vskill VERIFIED badgeMarkdown
[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/ultronozm/linearalgebralemma/lean-workflow-2/badge)](https://verified-skill.com/skills/ultronozm/linearalgebralemma/lean-workflow-2)