echo-skill

Use when the user provides an arbitrary line of text and you must echo it back verbatim, prefixed with "ECHO:".

Repositorio: mizchi/skills
Última actividad en el origen: 10 de mayo de 2026 a las 07:42
Idioma detectado de SKILL.md: inglés
Estrellas: 320
Forks: 3

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.

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Un comando directo omite el prompt de revisión. Revisa el origen antes de ejecutarlo.

npx skills add https://github.com/mizchi/skills --skill echo-skill

El comando permanece en una sola línea. Desplázate horizontalmente para revisarlo antes de copiarlo.

¿Prefieres una copia local? Descarga los archivos que SkillsMP tiene disponibles ahora.

Revisa los archivos de origen

Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.

SKILL.md

Instrucciones de origen · Vista previa de solo lectura

Volver a la búsqueda Volver a la instalación

moonbit-practice

MoonBit code generation and packaging best practices. Use when writing MoonBit code to avoid common AI mistakes with syntax, tests, and benchmarks, or when defining and publishing a Wasm executable with SKILL.md for the MoonBit Skills Marketplace.

2026-07-14

formal-methods-drift-guard

Use after a formal model or verifier check already exists and the user wants to maintain it over time. Helps Codex compare specs/docs, implementation code/tests/config/logs, and formal models or CI checks for drift; classify whether the drift is in the spec, code, model abstraction, harness, or unresolved domain decision; run or plan verifier checks; and translate SAT/UNSAT changes, counterexample traces, proof failures, stale models, and CI results into domain-language review questions and ledger entries.

2026-07-03

formal-methods-reconciler

Use when reconciling software specs, docs, tests, configs, code, logs, or incidents with formal methods. Helps Codex extract claims, decide whether docs or implementation are the source of truth, choose an appropriate tool such as Z3, Alloy, TLA+, P, Dafny, MoonBit prove, Lean, Rocq, Why3, Verus, CBMC, Tamarin, or ProVerif, build the smallest useful model, run or plan verifier checks, and translate SAT/UNSAT, traces, proof failures, or proof obligations into domain-language questions and regression guards.

2026-07-03

Ver todos los de este repositorio

Input	Output
`hello world`	`ECHO: hello world`
`1 + 1`	`ECHO: 1 + 1`
`(empty)`	`ECHO:`

Input	Output
`hello world`	`ECHO: hello world`
`1 + 1`	`ECHO: 1 + 1`
`(empty)`	`ECHO:`

echo-skill

Opciones de instalación

Revisa los archivos de origen

echo-skill

Examples

echo-skill

Examples

name	echo-skill
description	Use when the user provides an arbitrary line of text and you must echo it back verbatim, prefixed with "ECHO:".

echo-skill

Datos de origen

Opciones de instalación

Revisa los archivos de origen

Más de este repositorio

Más de este repositorio

echo-skill

Examples

echo-skill

Examples