Skip to main content
Ejecuta cualquier Skill en Manus
con un clic
Repositorio de GitHub

Scheduler

Scheduler contiene 12 skills recopiladas de mucsci, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

skills recopiladas
12
Stars
4
actualizado
2026-03-22
Forks
1
Cobertura ocupacional
3 categorías ocupacionales · 100% clasificado
explorador de repositorios

Skills en este repositorio

sched-cli-main
Desarrolladores de software

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.

2026-03-22
sched-domain-z3-config
Desarrolladores de software

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.

2026-03-22
sched-fastapi-server
Desarrolladores de software

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.

2026-03-22
sched-fern-openapi-docs
Desarrolladores de software

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.

2026-03-22
sched-github-ci
Administradores de redes y sistemas informáticos

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.

2026-03-22
sched-json-types
Desarrolladores de software

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.

2026-03-22
sched-maintain-scripts
Desarrolladores de software

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.

2026-03-22
sched-output-writers
Desarrolladores de software

Implements or modifies JSON and CSV schedule output in the writers package. Use when changing serialization, export formats, or CLI --format behavior.

2026-03-22
sched-pr-conventional-commits
Desarrolladores de software

Prepares commits and pull requests using Conventional Commits and the contributing checklist for this repository. Use when drafting commit messages, summarizing changes, or before opening a PR.

2026-03-22
sched-ruff-ty-prek
Desarrolladores de software

Lints, formats, and type-checks Python code using Ruff, ty, and prek (pre-commit-compatible hooks). Use when fixing style errors, CI failures, or before submitting changes in this repository.

2026-03-22
sched-uv-workflow
Administradores de redes y sistemas informáticos

Develops and runs the course-constraint-scheduler package with uv. Use when installing dependencies, syncing the lockfile, running CLI/server modules, or setting up a local environment for this repository.

2026-03-22
sched-testing-pytest
Analistas de garantía de calidad de software y probadores

Writes and runs tests for the scheduler package with pytest and coverage. Use when adding tests, fixing failures, or running the test suite for this repository.

2026-03-21