Home / feilipu / 8085-skills · .agents/skills/tool-copt/SKILL.md · GitHub

tool-copt skillA

tool-copt is agent-read markdown (skill) from feilipu/8085-skills: z88dk-copt text peephole optimiser: rule files lib/z80rules.*, what zcc applies by -O, and required hand-asm finalisation (library never runs copt). Use when writing sccz80 rules, reviewing compiler dumps, or cleaning library asm..

Indexed from public GitHub and served as immutable, content-addressed versions. Install it pinned to an exact SHA-256 with the mdr CLI, and every file is verified against the hash recorded here before it reaches your agent. The deterministic audit below grades the latest version, and the same file always earns the same grade.

What the file says

# Tool — copt (`z88dk-copt`)

Source: `src/copt/`. Man: `src/copt/copt.1`, `doc/copt.man`. Wiki: `wiki/tools/Tool---copt.md`.

## Peephole rules and codegen hygiene

`z88dk-copt` is z88dk’s **text peephole optimiser**: it reads assembly on
**stdin**, applies pattern → replacement rules from named files, and writes
improved assembly on **stdout**. `zcc` runs it on **compiler-generated** output
(sccz80 `.opt` / similar), not on hand-written library sources.

Source and man page: `src/copt/copt.c`, `src/copt/copt.1`. Rule files live under
`lib/z80rules.*` (plus target/CPU/user extras).

### What agents must remember when writing library asm

| Fact | Consequence |
|------|-------------|
| **Library `.asm` under `libsrc/` is assembled directly** | copt **never** runs on it in the normal build |
| **Dead moves stay dead** | Write clean sequences yourself (`ld b,a` then `ld a,b` is never cleaned up later) |
…

Read the whole file at its exact version.

How to install

Latest version
mdr add feilipu/8085-skills/tool-copt@git:20260821.71d8484
Exact content
mdr add feilipu/8085-skills/tool-copt@sha256:4a2fafe101703ad2

Pin to a label to follow the author's releases, or to a sha256 to freeze the exact bytes forever. Either way the resolved hash is written to mdr.lock, and mdr install reproduces it on any machine.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_geuzairobffh4ure.svg)](https://markdownregistry.com/a/art_geuzairobffh4ure)

1 badge views in 30 days

Versions

versioncommittedcommitsizeaudit
git:20260821.71d8484 latest2026-08-21 71d8484 8,595 BA view

Audit of the latest version

A  17 of 17 checks passed. Deterministic, no model, same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (8595 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

feilipu/8085-skills · 3 stars · license MIT · pushed 2026-09-21 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_geuzairobffh4ure
GET https://markdownregistry.com/api/v1/resolve?ref=feilipu/8085-skills/tool-copt
GET https://markdownregistry.com/api/v1/blob/4a2fafe101703ad24900612b244b77bc5ddc4059a6040d269c31fbe10fa786ec

Your agent does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

More from feilipu/8085-skills

compiler-80cc skill
feilipu/8085-skills · .agents/skills/compiler-80cc/SKILL.md · 80cc experimental/alternate C compiler in z88dk. Use when -compiler=80cc or working under src/80cc.
git:20260919.216763a · audit A · 3 stars
compiler-ac85 skill
feilipu/8085-skills · .agents/skills/compiler-ac85/SKILL.md · Agent compiler for Intel 8085 (ac85): emit Zilog assembly for z88dk-z80asm -m8085 from standard C90. Data model, SMALLC…
git:20260921.85b9514 · audit A · 3 stars
compiler-sccz80 skill
feilipu/8085-skills · .agents/skills/compiler-sccz80/SKILL.md · sccz80 classic C compiler for z88dk: calling conventions, copt peephole path, 8080/8085/z80 runtime under…
git:20260919.216763a · audit A · 3 stars
compiler-zsdcc skill
feilipu/8085-skills · .agents/skills/compiler-zsdcc/SKILL.md · zsdcc (SDCC-based) compiler path in z88dk: -clib=sdcc_ix / sdcc_iy, newlib integration, and regenerating…
git:20260821.71d8484 · audit A · 3 stars
cpu-8085 skill
feilipu/8085-skills · .agents/skills/cpu-8085/SKILL.md · Intel 8085 assembly for z88dk: Zilog mnemonics, full opcode map (flags K/V, timings), and extended-instruction usage…
git:20260921.85b9514 · audit A · 3 stars
library-am9511 skill
feilipu/8085-skills · .agents/skills/library-am9511/SKILL.md · Am9511A (Intel 8231A) APU float library: IEEE host format vs APU format, pushf/popf status mapping, IEEE-side specials…
git:20260918.95c4588 · audit A · 3 stars
library-classic skill
feilipu/8085-skills · .agents/skills/library-classic/SKILL.md · z88dk classic library world: libsrc/target and classic trees, multi-CPU (8080/8085/gbz80/…), fgets_cons line input…
git:20260821.71d8484 · audit A · 3 stars
library-math16 skill
feilipu/8085-skills · .agents/skills/library-math16/SKILL.md · math16 half-float library for z88dk: f16/f24 cores, restoring div vs NR inv, classic +test recipes need z88dk-classic…
git:20260918.95c4588 · audit A · 3 stars
library-math32 skill
feilipu/8085-skills · .agents/skills/library-math32/SKILL.md · math32 IEEE single float library: multi-CPU layout (asm/z80, asm/8085, asm/8080, asm/vm1, asm/gbz80), products…
git:20260918.95c4588 · audit A · 3 stars
library-newlib skill
feilipu/8085-skills · .agents/skills/library-newlib/SKILL.md · z88dk newlib architecture: CRT m4 FILE* instantiation, character_00 vs console_01, static stdio heap sizing…
git:20260821.71d8484 · audit A · 3 stars
methodology-measure skill
feilipu/8085-skills · .agents/skills/methodology-measure/SKILL.md · How to measure and prove z88dk library changes: z88dk-ticks TIMER/hotspots, map/nm proof, suite gates, A/B library…
git:20260920.88ac0a1 · audit A · 3 stars
methodology-sdcc-vanilla skill
feilipu/8085-skills · .agents/skills/methodology-sdcc-vanilla/SKILL.md · Vanilla upstream SDCC (not zsdcc) benchmark recipes: /usr/local/bin/sdcc, svn pin vs --version #NNNN, makebin -p…
git:20260821.71d8484 · audit A · 3 stars

Every file in feilipu/8085-skills

Browse by kind, by grade A, or by owner.