Popular repositories Loading

1. SUSTech_Tools SUSTech_Tools Public

   Forked from GhostFrankWu/SUSTech_Tools

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

   Python 3 1

2. ai-guider ai-guider Public

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

   2

3. devenv-setup-master devenv-setup-master Public

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

   1

4. DeepSeek-LeanSpark DeepSeek-LeanSpark Public

   AI-assisted formal mathematics prover optimized for DeepSeek V4, built on Lean4. Features include agentic proof search with tool-calling, workspace management with file tree, proof dependency graph…

   Rust