Tubo2333/zotero-auto-cite
交互式文献引用向导 —— Claude Code Skill
交互式文献引用向导 —— Claude Code Skill
npx add-skill Tubo2333/zotero-auto-cite交互式文献引用向导 —— Claude Code Skill
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Repository of all agent skills that I have created.
Claude Code slash commands for capturing learnings into Obsidian (Zettelkasten-style)
⚡ Thanos Skill — Autonomous AI agent skill for any CLI. Six Infinity Files track state, progress, goals and rules. Works with Claude Code, Codex CLI, Gemini CLI, OpenCode. Snap and it's done.
Automate Remarkety tasks via Rube MCP (Composio). Always search tools first for current schemas.
A collection of skills for Rails development and consulting with an emphasis on learning, communication, and client success.