Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Insignia para tu repositorio
Se actualiza sola con el estado real de este servidor — sin que tengas que volver a tocarla nunca.
[](https://centinela.llimalabs.com/board/5569)Esto es solo la ficha básica
El historial completo (cuándo cambió, qué cambió) y el detalle de cada hallazgo — con la explicación de la IA — solo se ven vigilando este servidor desde tu cuenta.
Vigilar este servidor