菜单
Implements or debugs scheduling logic, Z3 constraints, and JSON configuration for the course constraint scheduler. Use when working in scheduler.py, config models, time slots, or solver behavior.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Changes the scheduler command-line interface in main.py (Click), arguments, output paths, and format options. Use when adding CLI flags or adjusting how schedules are printed or written to disk.
Changes or reviews the FastAPI REST server, routes, and HTTP behavior for the scheduler. Use when editing server.py, async job flow, or API contracts.
Maintains Fern documentation, OpenAPI, JSON Schema assets, and Python API reference MDX for this project. Use when changing FastAPI routes, public docstrings, Pydantic config models, or user-facing docs under fern/docs.
Interprets or updates GitHub Actions workflows for linting, tests, docs, and publishing. Use when CI fails, when adding checks, or when aligning local commands with automation.
Maintains TypedDict and JSON-shaped type definitions for API and config payloads. Use when editing json_types.py or aligning wire formats with Pydantic models and OpenAPI.
Maintains or extends repository scripts under scripts/ for OpenAPI export, JSON Schema export, and Python API MDX generation. Use when changing export pipelines or adding codegen steps for documentation.
| name | sched-domain-z3-config |
| description | Implements or debugs scheduling logic, Z3 constraints, and JSON configuration for the course constraint scheduler. Use when working in scheduler.py, config models, time slots, or solver behavior. |
src/scheduler/scheduler.py: Z3 problem construction, solving, optimization flags.src/scheduler/config.py: Pydantic models, validation, loading (CombinedConfig, etc.).src/scheduler/time_slot_generator.py: Time slot generation utilities.src/scheduler/models/: Runtime schedule representations (CourseInstance, TimeSlot, ...).Coursescheduler.config: Course (and related types) align with JSON config — often course id strings and config-shaped structures.scheduler.models: Course is a class (credits, meetings, …). Instances in schedules use CourseInstance; the config id is course_instance.course.course_id.When touching types or docs, preserve this distinction to avoid breaking configs or the public API.
example.json; smaller fixtures under tests/fixtures/.fern/docs/assets/combined-config.schema.json (see sched-fern-openapi-docs).@cache on hot paths without analysis (Ruff B019 is suppressed on intentional method caches).