Popular repositories Loading

1. awesome-whale-girl awesome-whale-girl Public

   🐋 鲸鱼娘（DeepSeek娘 / 蓝色大肥鱼）的人设、素材、记忆、社交互动与数字生活资源精选。

   8

2. SUSTech_Tools SUSTech_Tools Public

   Forked from GhostFrankWu/SUSTech_Tools

   南科大TIS选课助手 - 个人修复版:适配2026秋季新TIS接口(SESSION cookie)

   Python 3 1

3. ai-guider ai-guider Public

   ai-guider是一个 AI 导师 Skill。每次 AI 帮你完成一个任务（修 bug、写功能、重构代码等）之后，它会用人类易懂的语言，像坐在你旁边的导师一样，讲解刚才做了什么、为什么这么做、背后的决策逻辑，以及你能从中学到什么。

   2

4. devenv-setup-master devenv-setup-master Public

   DevEnv Setup Master是一个开发环境配置 Skill，解决 AI 配置开发环境时「知识过时、安装方式不专业、文件散落各处」三大痛点。它强制 AI 使用 pyenv / SDKMAN / nvm 等业界标准版本管理工具，将所有语言运行时统一装在 `~/.devtools/` 目录下，自动配置 Shell 环境变量和国内镜像加速。

   1

5. ai4math-width-bounds ai4math-width-bounds Public

   Human–AI research on width bounds for numerical semigroups, lex ideals, and Lean formalization. Work in progress.

   Lean 1

6. dsh-leanary dsh-leanary Public

   Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.

   JavaScript