Notes

Las notas son la unidad de contenido principal en MatHub. Una nota puede ser un documento Markdown, un notebook interactivo de Python o una prueba en Lean 4. La API cubre CRUD completo, gestión de cells de notebooks, historial de cambios, validación Lean y operaciones de tags.

CRUD

Crear, listar, obtener, actualizar y eliminar notas.

GET /api/notes Listar todas las notas del usuario autenticado, con filtro opcional por repositorio.

POST /api/notes Crear una nueva nota dentro de un repositorio.

DELETE /api/notes Eliminar múltiples notas por ID de forma masiva.

GET /api/notes/:noteId Obtener una nota individual con su contenido completo.

PATCH /api/notes/:noteId Actualizar parcialmente el título, contenido o estado de publicación de una nota.

DELETE /api/notes/:noteId Eliminar permanentemente una nota y todas sus cells, historial y tags.

Cells

Gestioná las cells de notebooks para notas de tipo notebook. Las cells pueden ser bloques de código o Markdown que se ejecutan del lado del cliente vía Pyodide.

GET /api/notes/:noteId/cells Listar todas las cells de una nota tipo notebook en orden.

POST /api/notes/:noteId/cells Agregar o insertar una nueva cell en un notebook.

PATCH /api/notes/:noteId/cells Actualizar el contenido o la salida almacenada de una cell existente.

DELETE /api/notes/:noteId/cells Eliminar una o más cells de un notebook por sus IDs.

POST /api/notes/:noteId/cells/execute Devuelve un plan de ejecución ordenado para las cells de código del notebook. La ejecución ocurre del lado del cliente en Pyodide.

Validación

Validación estructural para grafos de cells de notebooks y notas de prueba Lean 4.

GET /api/notes/:noteId/cells/validate Validar la estructura de cells de un notebook — verifica huecos en el orden, posiciones duplicadas y contenido faltante.

GET /api/notes/:noteId/lean/validate Validar una nota Lean 4 — detecta el formato del código, mide su longitud y muestra problemas estructurales.

Historial

Historial de cambios paginado de una nota, registrando cada actualización de título o contenido.

GET /api/notes/:noteId/history Obtener el historial de cambios paginado de una nota.

Tags

Asociá y desasociá tags para organizar notas entre repositorios.

POST /api/notes/:noteId/tags Agregar un tag a una nota. Lo crea si no existe.

DELETE /api/notes/:noteId/tags/:tagId Quitar un tag de una nota.