opengauss
Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native.
Datos de origen
- Repositorio
- hoanganhduc/coding-system-rebuild
- Última actividad en el origen
- 2 de agosto de 2026 a las 15:31
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 1
- Forks
- 0
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
