Skip to main content
Ejecuta cualquier Skill en Manus
con un clic
mucsci
Perfil de creador de GitHub

mucsci

Vista por repositorio de 12 skills recopiladas en 1 repositorios de GitHub.

skills recopiladas
12
repositorios
1
actualizado
2026-03-22
mapa de repositorios

Dónde viven las skills

Repositorios principales por número de skills recopiladas, con su participación en este catálogo del creador y su variedad ocupacional.

explorador de repositorios

Repositorios y skills representativas

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
Mostrando las 8 principales de 12 skills recopiladas en este repositorio.
Mostrando 1 de 1 repositorios
Todos los repositorios cargados