Profile My skills Saved Collections Edit profile Submit a skill

← all publishers

FrankieeW

@frankieew source repo

12 published skills

  1. ▌
    Ssh · frankieew
    SSH remote access patterns and utilities for connecting to servers, managing keys, configuring connections, creating tunnels, and transferring files.
    0
    installs
  2. ▌
    Tmux · frankieew
    Terminal multiplexer patterns for controlling interactive applications. Use when: running interactive REPLs (python, node), debugging with gdb/lldb, running dev servers, working with vim/git rebase, or monitoring Claude Code sessions.
    0
    installs
  3. ▌
    Ccswitch · frankieew
    Manage CC Switch providers for Claude Code and OpenCode from AI agents. Switch providers, list configurations, and check health status.
    0
    installs
  4. ▌
    Pre Init · frankieew bundle
    Internal skill - automatically called by /init to copy project configuration templates. Supports Lean4, Python, and custom types with a two-tier template system (user > skill default). Manual usage available but not recommended - use /init instead.
    0
    installs
  5. ▌
    Lmfdb CLI · frankieew
    Query LMFDB to verify number theory results, including number field properties, elliptic curve data, and algebraic number theory computations.
    0
    installs
  6. ▌
    Code Rules · frankieew bundle
    Use when writing code, to follow personal code style and ensure documentation is consistent.
    0
    installs
  7. ▌
    Openclaw Rss · frankieew
    Use sfeed to parse RSS/Atom feeds and push updates to OpenClaw. Use when: user wants to monitor RSS feeds and get notifications via OpenClaw.
    0
    installs
  8. ▌
    Mathlib Style · frankieew bundle
    Use when writing or reviewing Lean 4 mathlib code for style, naming, docs, and lint.
    0
    installs
  9. ▌
    Mathlib Workflow · frankieew bundle
    Complete workflow for contributing to mathlib (Lean 4), including repo setup, git workflow, PR creation, and review process.
    0
    installs
  10. ▌
    Pr Worktree Workflow · frankieew
    Complete workflow for creating git worktrees and Pull Requests, including worktree setup, branch management, and PR creation.
    0
    installs
  11. ▌
    Leanmgr Cache Manager · frankieew
    Use when managing many Lean 4 projects with LeanMgr, especially .lake disk usage, cache cleanup, restore, gitignore, doctor, toolchain, or worktree workflows.
    0
    installs
  12. ▌
    Learn Math By Lean Notebook · frankieew bundle
    Generate Jupyter notebooks that teach mathematics through Lean 4 and mathlib by interleaving compact bilingual-capable explanations, runnable Lean code cells, proof experiments, and small exercises. Use when the user asks to learn a math topic with Lean, wants a Lean 4/mathlib tutorial notebook, requests Chinese or English math-learning notebooks, or wants a theory-plus-formalization lesson in .ipynb form.
    0
    installs