Loading...
Loading...
Found 20 Skills
Pyright fast Python type checker from Microsoft with VS Code integration and strict type checking modes
Intelligent software copyright application material generation tool. Automatically analyzes project source code, generates software manuals and source code documents that meet the requirements of software copyright applications. Supports keyword search, intelligent source code analysis, formatted output, and PDF export.
A tool for generating application materials for Chinese software copyright, which directly outputs LaTeX source files and compiles them into PDF. It automatically analyzes project code to generate four materials: copyright registration application form, source code document (30 pages at the beginning and 30 at the end, total 60 pages), user manual, and design specification, including headers and footers, screenshot placeholders, and information consistency checks. Applicable to various software projects such as WeChat Mini Programs, Web applications, mobile Apps, and desktop applications. This Skill must be used when users mention software copyright, software copyright application, or copyright registration. It should also be used when users need to prepare copyright materials or generate software copyright documents for any software project.
Use when protecting original content on Xiaohongshu, respecting others' intellectual property, using copyrighted material legally, or handling copyright infringement claims and disputes
Use when needing to protect original content from infringement, properly use third-party content, or handle copyright disputes on Xiaohongshu
Run ScanCode Toolkit for comprehensive license and copyright detection. Identifies license types, copyright holders, and compliance obligations across codebases.
Work with the Inpoxia repository's local tools and workflows for CLI usage, GraphMail library changes, and quality checks. Use when tasks involve running or updating `inpoxia` commands, modifying files under `src/inpoxia/**`, validating behavior with `pytest`, or enforcing style/type checks with `ruff` and `pyright`.
Systematic resolution of pyright/mypy type errors with categorization and fix templates. Use when pyright fails, type errors are reported, adding type annotations, or enforcing type safety. Analyzes Python type errors, categorizes them (missing annotations, incorrect types, generic issues, Optional/None handling), and applies fix patterns. Works with .py files and pyright output.
Create beautiful visual art in .png and .pdf documents using design philosophy. You should use this skill when the user asks to create a poster, piece of art, design, or other static piece. Create original visual designs, never copying existing artists' work to avoid copyright violations.
Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use this when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems. Create original algorithmic art rather than copying existing artists' work to avoid copyright violations.
Python type safety with type hints, generics, protocols, and strict type checking. Use when adding type annotations, implementing generic classes, defining structural interfaces, or configuring mypy/pyright.
Python type checking expertise using ty - the extremely fast type checker by Astral. Use when: (1) Adding type annotations to Python code, (2) Fixing type errors reported by ty, (3) Migrating from mypy/pyright to ty, (4) Configuring ty for projects, (5) Understanding advanced type patterns (generics, protocols, intersection types), (6) Setting up ty in editors (VS Code, Cursor, Neovim, PyCharm).