logicpenguin
Framework open source en Node.js para ejercicios de lógica introductoria con integración LMS vía LTI 1.1, enfocado en derivaciones simbólicas y tablas de verdad.
Ficha actualizada 25 sept 2026, 0:46 · upstream 25 sept 2026, 0:28 · release sin release detectada
Qué es logicpenguin
Descripción editorial construida a partir del repositorio, su documentación y sus señales de mantenimiento.
Logic Penguin es un framework flexible y extensible escrito en JavaScript (ES6) diseñado para crear y gestionar ejercicios de lógica proposicional y predicados. Incluye un servidor web basado en Express.js que actúa como proveedor de herramientas LTI, permitiendo la integración con sistemas de gestión del aprendizaje como Moodle o Canvas mediante OAuth1.
El proyecto soporta múltiples tipos de ejercicios, incluyendo tablas de verdad, traducciones simbólicas, identificación de conclusiones y derivaciones estilo Kalish-Montague. Ofrece correctores de validez, sondeadores de equivalencia y mecanismos para retroalimentación parcial en demostraciones formales.
Aunque el código es compartible entre cliente y servidor, la documentación oficial es limitada y el desarrollo se encuentra en una fase temprana. El proyecto utiliza licencias GPL v3 y no incluye contenedores Docker ni scripts de despliegue automatizado.
- Crear ejercicios interactivos de lógica proposicional para cursos universitarios introductorios
- Integrar plataformas de lógica con LMS existentes mediante protocolo LTI 1.1
- Evaluar derivaciones formales estilo Kalish-Montague con retroalimentación detallada
- Autoalojar una instancia propia del framework sin dependencias de contenedores
- Soporte nativo para notaciones lógicas arbitrarias y conjuntos de reglas personalizables
- Correctores automáticos para tablas de verdad, traducciones simbólicas y validez
- Integración LTI 1.1 con Moodle y Canvas mediante OAuth1 sin intermediarios comerciales
- Mecanismos de retroalimentación parcial en demostraciones de lógica formal
- Falta documentación oficial exhaustiva sobre auto-alojamiento y configuración avanzada
- Solo soporta LTI 1.1; no hay soporte confirmado para LTI 1.3 con OAuth2
- Sin contenedores Docker ni scripts de despliegue automatizado (Dockerfile, compose)
- Algunas funcionalidades como Scriven diagrams y Venn diagrams están parcialmente implementadas
Capturas del proyecto
Imágenes reales detectadas en la documentación del repositorio.
Perfil de infraestructura
Estimación inicial derivada del repositorio y de los servicios detectados.
Despliegue detectado
Qué señales reales de instalación hemos encontrado.
Requiere instalación manual de Node.js y configuración del servidor Express.js. Habilitar CORS y certificados SSL es necesario para producción. Los puertos HTTP/HTTPS son configurables vía variables de entorno. No incluye Docker ni scripts de despliegue uno clic.
Stack y dependencias
Componentes inferidos a partir de manifests, configuración y documentación.
Puede sustituir a
Relaciones detectadas por el análisis del repositorio y su categoría.
Experiencia real de la comunidad
Ayuda a contrastar la estimación automática con instalaciones reales.
Todavía no hay datos comunitarios para este proyecto.