echo-skill

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

Repository: mizchi/skills
Letzte Quellaktivität: 10. Mai 2026 um 07:42
Erkannte Sprache von SKILL.md: Englisch
Sterne: 320
Forks: 3

Installationsoptionen

Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.

Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.

Ein direkter Befehl überspringt den Prüf-Prompt. Prüfen Sie die Quelle, bevor Sie ihn ausführen.

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

Der Befehl bleibt in einer Zeile. Scrollen Sie horizontal, um ihn vor dem Kopieren vollständig zu prüfen.

Sie bevorzugen eine lokale Kopie? Laden Sie die Dateien herunter, die SkillsMP derzeit vorliegen.

Quelldateien prüfen

Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.

SKILL.md

Quellanweisungen · Schreibgeschützte Vorschau

Zurück zur Suche Zurück zur Installation

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

Alle aus diesem Repository ansehen

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

Installationsoptionen

Quelldateien prüfen

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

Quellinformationen

Installationsoptionen

Quelldateien prüfen

Mehr aus diesem Repository

echo-skill

Examples

Mehr aus diesem Repository

echo-skill

Examples