T3 VERIFIED

lionsr/texra/lean-tactic-improver

Name: lean-tactic-improver
Author: lionsr

lionsr·Coding·lionsr/texra·packages/extension/resources/plugins/lean4/skills/lean-tactic-improver/SKILL.md ↗·Updated Sep 24, 2026

Source check pending

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

lionsr/texra

community

Install

# npm
$ npx vskill@latest install lionsr/texra/lean-tactic-improver

# bun
$ bunx vskill@latest install lionsr/texra/lean-tactic-improver

# pnpm
$ pnpx vskill@latest install lionsr/texra/lean-tactic-improver

# yarn
$ yarn dlx vskill@latest install lionsr/texra/lean-tactic-improver

# alternative
$ npx vskill@latest install lionsr/texra --skill lean-tactic-improver

──Security

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

──Quality Evaluation

No evaluation data available yetView eval results →

Popularity

32stars2forks227d trend

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/lionsr/texra/lean-tactic-improver/badge)](https://verified-skill.com/skills/lionsr/texra/lean-tactic-improver)