echo-skill

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

Repositório: mizchi/skills
Última atividade na origem: 10 de maio de 2026 às 07:42
Idioma detectado do SKILL.md: inglês
Estrelas: 320
Forks: 3

Opções de instalação

Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.

Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.

Um comando direto ignora o prompt de revisão. Verifique a origem antes de executá-lo.

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

O comando permanece em uma só linha. Role horizontalmente para revisá-lo antes de copiar.

Prefere uma cópia local? Baixe os arquivos disponíveis atualmente no SkillsMP.

Revise os arquivos de origem

Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.

SKILL.md

Instruções da origem · Visualização somente leitura

Voltar à pesquisa Voltar à instalação

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 todas deste repositório

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

Opções de instalação

Revise os arquivos de origem

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

Informações da origem

Opções de instalação

Revise os arquivos de origem

Mais deste repositório

echo-skill

Examples

Mais deste repositório

echo-skill

Examples