Manual del Ecosistema de Herramientas Pedagógicas

Manual del Ecosistema de Herramientas¶

El ecosistema de herramientas pedagógicas de la cátedra está compuesto por aplicaciones modulares diseñadas bajo el principio de responsabilidad única. Cada herramienta atiende una fase específica del ciclo pedagógico: desde la autoría de consignas y el desarrollo asistido del alumno, hasta el análisis forense de memoria y la evaluación docente masiva.

Capas Arquitectónicas del Ecosistema¶

1. Autoría y Curaduría Pedagógica¶

Herramientas destinadas al cuerpo docente para el diseño curricular, la redacción de guías de trabajos prácticos y la síntesis anti-copia de cuestionarios y exámenes.

• Deckard: Curaduría de ejercicios, composición taxonómica Bloom y carga horaria.

• Alucard: Síntesis de exámenes impresos en Typst y lectura óptica OMR.

• Idkfa: Generación procedural de variantes de tracing con compilación GCC.

• Moodle-Toolbox: Validación e higiene de bancos GIFT y Moodle XML.

• MyST-Tools: Mantenimiento y compilación de apuntes teóricos.

• Keymaker: Criptografía asimétrica y sellos de tiempo para exámenes.

• SCORM-Tools: Empaquetado e interoperabilidad SCORM 1.2 / 2004.

• Tyrell: Generación de datasets sintéticos y plantillas.

• Corbel: Formateador arquitectónico y documentación de TDAs.

2. Desarrollo y Verificación del Alumno¶

El entorno cotidiano del estudiante. Diagnóstico en tiempo real y asistencia técnica sin conjeturas.

• Ripley: Microkernel orquestador de análisis y linter de cátedra.

• Daedalus: Compilación pedagógica y traducción de advertencias GCC/Clang.

• Gaff: Linter de estilo y convenciones arquitectónicas 0xXXXXh.

• Spunkmeyer: Detector de antipatrones didácticos C.

• Kaneda: Auditor estático de seguridad y funciones prohibidas.

• Nostromo: Sandbox de ejecución aislada con Bubblewrap.

• Bishop: Trazador visual de memoria Stack y Heap.

• Entorno: Suite portátil y configuración de shell.

• Librerías C: Implementaciones canónicas de TDAs.

3. Diagnóstico Forense y Runtime¶

Inspección profunda de memoria, inyección de fallos y análisis de robustez.

• Hal: Decodificador forense de core dumps y segfaults.

• Vasquez: Inyección dinámica de fallos vía LD_PRELOAD.

• Tetsuo: Intérprete didáctico de AddressSanitizer y UndefinedBehaviorSanitizer.

• Vassili: Análisis de cobertura y Mutation Testing.

• Dietrich: Verificación de cobertura lógica MC/DC.

• Callahan: Verificación formal deductiva con contratos ACSL y Frama-C.

4. Análisis Estático Especializado¶

Inspección algorítmica y de bajo nivel de código fuente C.

• Brett: Auditoría de padding y optimización de memoria en structs.

• Crowe: Linter de portabilidad multi-arquitectura y endianness.

• Drake: Fuzzer guiado por límites y valores de frontera.

• Ferro: Perfilado de rendimiento y contadores de ciclos de hardware.

• Giger: Grafo de llamadas (Call Graphs) y código muerto.

• Kane: Inspección de archivos binarios y mapeo de structs.

• Motoko: Verificación de encapsulamiento estricto en TDAs.

• Parker: Auditor de ABI y visibilidad de símbolos en bibliotecas.

• Rachel: Desensamblador y análisis de complejidad en jump tables.

• Sebastian: Análisis de recursión profunda y consumo de stack frames.

• Wierzbowski: Auditor de grafos de inclusión de headers y Makefiles.

• Zhora: Auditor de seguridad y robustez en macros de preprocesador.

5. Evaluación y Gestión Docente Masiva¶

Infraestructura de corrección automática y seguimiento de cursada.

• Dredd: Calificador masivo, ingesta de Moodle y GitHub Classroom.

• Weyl: Comparación estructural semántica de ASTs y similitud de entregas.

• Cyberdeck: Panel de control de aula y companion físico.

• Meet-Tools: Telemetría y control de Google Meet.

• Slide-Tools: Control remoto y sincronización de Google Slides.

• Gestion: Sincronización de notas con sistemas académicos.

• P1-Tools: Meta-repositorio y orquestación del ecosistema.