بنقرة واحدة
parse-iso-mirrors-from-html
Parsea una página HTML de directorio de mirrors y extrae URLs de archivos ISO
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
القائمة
Parsea una página HTML de directorio de mirrors y extrae URLs de archivos ISO
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Permite al agente consultar algo al usuario mostrando un panel interactivo con opciones seleccionables y una opción libre para respuesta personalizada
Invoca agentes especializados para realizar tareas complejas como desarrollo de código e investigación profunda
Invoca N agentes especializados en paralelo con visualización en pestañas
Conjunto avanzado de herramientas para operaciones CRUD y edición sofisticada de archivos.
Actualización simple de archivos.
Herramienta profesional de edición de archivos con múltiples estrategias, operaciones por lote y rollback automático.
| allowlist | false |
| author | KogniTerm AI (Autonomous Generation) |
| auto_approve | true |
| category | autonomous |
| dependencies | [] |
| description | Parsea una página HTML de directorio de mirrors y extrae URLs de archivos ISO |
| name | parse-iso-mirrors-from-html |
| required_permissions | ["filesystem"] |
| security_level | standard |
| tags | ["autonomous","generated"] |
| version | 1.0.0 |
Esta skill obtiene el contenido HTML de una URL de directorio de mirrors (como los que usan AlmaLinux o Rocky Linux) y extrae todas las URLs que apuntan a archivos .iso. Es útil para obtener dinámicamente la lista de mirrors disponibles sin hardcodear URLs.
\.iso$ (cualquier URL que termine en .iso).curl -s a html_url para obtener el HTML.href que coincidan con iso_pattern.base_url, los convierte a URLs absolutas.mirrors = parse_iso_mirrors_from_html(
html_url="https://mirrors.almalinux.org/isos/x86_64/9.7.html",
iso_pattern=r"AlmaLinux-9-latest-x86_64-(dvd|minimal)\.iso$"
)
grep -o 'href="[^"]*"' y luego se filtra.