JJonyeok2/Codex_skills
개인 활용용 Codex 스킬
개인 활용용 Codex 스킬
npx skills add JJonyeok2/Codex_skills개인 활용용 Codex 스킬
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
PushPlus message notification skill for Hermes Agent
My Codex skills! I realize this folder is public — I have .gitignore to hide sensitive things like auth sessions. Context engineering is becoming an increasingly important part of software engineering, and we need to take this stuff more seriously.
Enhance Claude Code CLI with undo, safety hooks, session resume, effort control, MCP tools, and multilingual i18n
Claude Code skill for analysing the trajectory and reporting over usefullness of tools
Automate Yousearch tasks via Rube MCP (Composio). Always search tools first for current schemas.