メニュー
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).