r-irbe/proof-skills/lean-math-optimization

Name: lean-math-optimization
Author: r-irbe

r-irbe·Coding·r-irbe/proof-skills·skills/lean-math-optimization/SKILL.md ↗·Updated Sep 26, 2026

Source check pending

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

r-irbe/proof-skills

community

Install

# npm
$ npx vskill@latest install r-irbe/proof-skills/lean-math-optimization

# bun
$ bunx vskill@latest install r-irbe/proof-skills/lean-math-optimization

# pnpm
$ pnpx vskill@latest install r-irbe/proof-skills/lean-math-optimization

# yarn
$ yarn dlx vskill@latest install r-irbe/proof-skills/lean-math-optimization

# alternative
$ npx vskill@latest install r-irbe/proof-skills --skill lean-math-optimization

──Security

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

──Quality Evaluation

No evaluation data available yetView eval results →

Popularity

07d trend

Works with

Works with all 39 vskill-compatible agents

Claude Code

Cursor

GitHub Copilot

Windsurf

Codex

Gemini CLI

ClineAmp

Embed badge

$vskill VERIFIED badge$ Markdown

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/r-irbe/proof-skills/lean-math-optimization/badge)](https://verified-skill.com/skills/r-irbe/proof-skills/lean-math-optimization)