La pregunta que nadie hace en el aula
Una clase, en su forma más honesta, es una transferencia de estado. Alguien que conoce algo lo convierte en señal —palabras, diagramas, código— y otro sistema, el estudiante, lo integra, lo transforma, lo contradice. Eso es todo. Pero lo que nos hemos negado a reconocer durante siglos es que ese proceso tiene una estructura formal: tiene entidades, relaciones, operaciones bien definidas. Tiene, en el fondo, una gramática.
Agora —desplegado en producción en agora.elenxos.com— parte de esa premisa. No es una plataforma de cursos. No es un LMS con skin moderno. Es un intento de construir el espacio de trabajo donde el conocimiento puede editarse, ejecutarse, formalizarse y criticarse con las mismas herramientas que usamos para escribir software.
La terminal como afirmación filosófica
El primer gesto radical de Agora es incluir terminales Linux completas, accesibles desde el navegador. Parece un detalle técnico. No lo es.
Una terminal es la interfaz más honesta con un sistema: no hay abstracciones que enmascaren lo que ocurre, no hay botones que simplifiquen hasta hacer invisible el mecanismo. La terminal dice: el sistema existe, tiene estado, puedes interrogarlo. Y ese estado responde.
La implementación —xterm.js en el cliente, Socket.IO hacia un Hub central, contenedores Docker por workspace en un servidor propio— no es ornamental. Cada workspace tiene su propio proceso, su propio sistema de archivos, su propia historia. La terminal no es una ventana decorativa; es la prueba de que el entorno de trabajo es real.
Desde el punto de vista filosófico, incluir una terminal en una plataforma educativa es afirmar que el estudiante merece un entorno que resiste. Que el conocimiento no debería vivir solo en PDFs que no se ejecutan.
ST: cuando la idea necesita una gramática propia
El segundo gesto, más extraño y más interesante, es ST-lang: un lenguaje de lógica formal para declarar definiciones, axiomas, teoremas, teorías. Construido con Lezer (el parser de CodeMirror 6), con autocompletado, con diagnósticos en tiempo real, con go-to-definition, con paréntesis coloreados por nivel de anidamiento.
define, axiom, theorem, theory, fn, interpretation, claim. Son los bloques del pensamiento formal. Agora los convierte en texto que puede escribirse, leerse y —a través del componente STRunner— ejecutarse.
Hay algo perturbador en esto que vale la pena nombrar: los lenguajes de programación existen porque en algún momento alguien decidió que la máquina también merecía entender. ST es un movimiento análogo pero en otra dirección: es un lenguaje para que el pensamiento mismo sea legible de manera no ambigua. No para la máquina únicamente, sino para quien lo escribe. Formalizar un argumento en ST es obligarse a ser preciso. Es un acto de higiene intelectual.
Más interesante aún: el sistema incluye un autologic que formaliza texto en lenguaje natural a ST usando un LLM. El usuario escribe una idea, el modelo propone su forma lógica, el linter valida la estructura. La brecha entre el lenguaje cotidiano y el lenguaje formal se vuelve, al menos parcialmente, navegable.
El linter que lee ensayos académicos
El editor de Agora no lintea solo código. Lintea Markdown académico.
Tiene reglas para voz pasiva excesiva. Para nominalizaciones. Para cuantificadores vagos —"algunos", "varios", "muchos"— que dicen mucho y no dicen nada. Para citas APA malformadas, para DOIs incorrectos, para notas al pie huérfanas. Para tesis, tiene un perfil propio.
Esto no es una lista de funciones. Es una postura: escribir bien no es estético, es epistémico. Un texto con cuantificadores vagos no solo suena impreciso; es impreciso. Un argumento con voz pasiva ubicua oculta quién hace qué. El linter no corrige el estilo; señala los lugares donde el pensamiento se volvió borroso.
Que una plataforma educativa haya invertido en construir este sistema de análisis estático sobre Markdown dice más sobre su filosofía que cualquier landing page.
El grafo de citaciones: la idea como nodo
Cada documento en Agora extrae automáticamente sus citaciones: wiki-links del estilo [[concepto]], referencias APA, conceptos del glosario. Esas citaciones se persisten y se visualizan como un grafo interactivo. El agente IA tiene herramientas para navegar ese grafo —query_citation_graph, find_related_via_graph, expand_context— y el editor lo muestra en tiempo real.
Lo que esto modela es algo que los sistemas de gestión del conocimiento llevan décadas intentando capturar: que las ideas no existen en soledad. Que un teorema apoya una afirmación, que una evidencia contradice un claim, que una fuente restringe una definición. El grafo no es una función de conveniencia; es la representación estructural de que el conocimiento es relacional.
El navegador semántico de Agora define entidades —concept, claim, evidence, definition, source, passage— y tipos de relación —supports, contradicts, implies, depends-on, defines, evidence-for. Es una ontología mínima del argumento.
Multi-proveedor: no apostar por un solo dios
El chat IA de Agora soporta OpenAI, Anthropic, Google Gemini y Ollama local. Las API keys del usuario se guardan en un vault cifrado con AES-256-GCM. El contexto del workspace —documentos, conceptos semánticos, fragmentos marcados, grafo de citaciones— se inyecta automáticamente en cada conversación.
Soportar cuatro proveedores con llaves propias del usuario no es solo una decisión técnica de resiliencia. Es una postura sobre dependencia: ningún proveedor debería ser indispensable. Y permitir Ollama local es reconocer que hay usuarios para quienes la privacidad no es opcional.
La inyección de contexto es el detalle que eleva el chat de herramienta genérica a asistente situado: el modelo no responde desde el vacío, responde desde los documentos de ese workspace, desde los conceptos que el usuario ha formalizado, desde las relaciones que el grafo ha capturado. Es la diferencia entre un oráculo y un colaborador.
Lo que enseña construir esto
Agora es un sistema que conecta cosas que normalmente viven separadas: el editor de texto académico, la terminal Linux, el lenguaje de lógica formal, el análisis estático de prosa, el grafo del conocimiento, el asistente IA. Juntarlas en un solo espacio de trabajo no es solo ingeniería de integración; es una hipótesis sobre cómo funciona el pensamiento cuando tiene las herramientas correctas.
La hipótesis es esta: que la fragmentación de herramientas no es inocente. Que escribir en un lugar, ejecutar en otro, formalizar en otro y buscar en otro más impone un costo cognitivo que no es inevitable.
No sé si Agora prueba esa hipótesis. Está en producción, tiene usuarios, cobra suscripciones en pesos colombianos. El experimento ya no es teórico.