基于苏格拉底式教学法的《操作系统导论》(OSTEP) AI 助学系统。提供核心 Prompts (main 分支) 及 包含自动化转换脚本与完整配置的参考实现 (demo-full 分支)。
☆19Mar 11, 2026Updated 4 months ago
Alternatives and similar repositories for ostep-socratic-tutor
Users that are interested in ostep-socratic-tutor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 百万英雄/冲顶大会/芝士超人，自动搜题程序，windows执行程序☆23Jan 24, 2018Updated 8 years ago
- A Claude Code Skill for browser automation via Chrome extension WebSocket — navigate, click, type, screenshot, multi-tab management and m…☆17May 6, 2026Updated 2 months ago
- Cloudreve任务队列，目前用来处理OneDrive转存☆14Feb 24, 2024Updated 2 years ago
- 给aardio封装了一个sqlite的增删改查的库☆21Jun 21, 2020Updated 6 years ago
- 专业短剧剧本创作技能 - 60集短剧生成工具☆16Mar 5, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🚀 Agency-Agents-CN: A collection of specialized AI Agent skills for the "Solopreneur" in China. Deeply optimized for platforms like WeCh…☆25May 15, 2026Updated 2 months ago
- （缠论）禅中看缠：高度贴合缠论原意的完整可视化实现（通达信插件+桌面版+安卓版）：包含了K线递归合并，分型，笔，线段（实现了特征序列及其标准化，跳空缺口下的第二特征序列），笔中枢/线段中枢的拓展和扩张，趋势的识别以及其对应各类缠论买卖点，另外叠加MACD背离的探测增加置信度…☆23Jul 9, 2026Updated last week
- 广告滚蛋 - 删除 Win11 各处广告的小工具☆23May 19, 2024Updated 2 years ago
- ☆32Dec 2, 2025Updated 7 months ago
- 剧本｜ 热门短剧剧本|拉片分析☆24Apr 16, 2026Updated 3 months ago
- 自动生成各种证件类型包含（身份证 护照 军人证 台胞证 港澳通行证，统一社会信用代码，组织机构代码，纳税人识别号，工商注册号，税务登记号等）☆29Nov 1, 2024Updated last year
- Utility to assist HCL Domino Administrators in determining your Authorized User Count☆10May 22, 2026Updated last month
- ADBulkAdmin is a free tool for AD administrators to manage Active Directory users in bulk. You can use it to check a large number of user…☆10May 17, 2020Updated 6 years ago
- Aardio log management library☆32Nov 9, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 极客时间的学习笔记☆11Jul 21, 2021Updated 4 years ago
- AI短剧/漫剧编剧Skill - 融合救猫咪方法论与31部爆款短剧分析☆24Mar 5, 2026Updated 4 months ago
- sense-deck-skill,html ppt制作skills☆23May 14, 2026Updated 2 months ago
- Desktop AI agent runtime with dual-brain safety review, GUI-first operation, local model support, and multi-channel delivery.☆24Apr 12, 2026Updated 3 months ago
- ☆13Jan 4, 2018Updated 8 years ago
- 这是一份通俗易懂又详细啰嗦的Git教程，欢迎小白踊跃学习。☆13Jul 11, 2019Updated 7 years ago
- ☆15Mar 2, 2021Updated 5 years ago
- 汽车之家运维开发团队☆20Dec 11, 2018Updated 7 years ago
- Client pack to use with the web Ui via protocol handlers☆25Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 助力国内 Skill 使用者快速找到能用、好用、可复用的实践方案 汇聚优质 Skill，打通真实场景，沉淀持续生产力☆31Jul 6, 2026Updated last week
- 汇率转换☆17Apr 30, 2023Updated 3 years ago
- 网络设备配置备份。可以备份cisco ios交换机，华为quidway交换机以及fortigate防火墙的配置。☆16May 24, 2021Updated 5 years ago
- ☆23Apr 17, 2020Updated 6 years ago
- 视觉品味训练实验室：用 AI 先做视觉身份审计，再生成更少模板味的页面方案。 | Visual taste lab that audits brand identity before generating less template-like AI-built pages.☆30Jun 24, 2026Updated 3 weeks ago
- UI Framework for Cube Projects. Based on React Aria and tasty style engine.☆41Updated this week
- ☆17Apr 27, 2024Updated 2 years ago
- 微信公众号文章一键提取 skill，可以从微信文章 URL 中提取标题、作者、内容、封面图等元数据☆103Feb 19, 2026Updated 4 months ago
- 🤖 Provide 70+ ready-to-use, platform-agnostic AI agent skills for improving tasks like code review, security, and data analysis.☆32Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 网络设备脚本☆20Sep 13, 2025Updated 10 months ago
- We hope all friends who are holding a fresh secret technique in the DevOps toolchain sign up for the online sharing in the community. 希望所…☆28Apr 5, 2023Updated 3 years ago
- Custom scripts for MDT 2012U1. I do not own any of this scripts (except for shares_backup.vbs, shares_restore.vbs, quotas_backup.vbs, quo…☆20Jul 9, 2014Updated 12 years ago
- Your own GPT Telegram Bot on Vercel☆45Oct 6, 2024Updated last year
- An Operation and maintenance inspection tool 面向个人的可视化运维巡检工具☆31May 24, 2025Updated last year
- TeleTrans is a Python-based Telegram bot that translates messages in real-time. It uses the OpenAI API and DeepL API for translation.☆45Dec 19, 2024Updated last year
- 机器人小白源码☆26Aug 12, 2020Updated 5 years ago