Agent skill

M04 Zero Cost

by fjrevoredo in fjrevoredo/mini-diarium

CRITICAL: Use for generics, traits, zero-cost abstraction. An agent skill from fjrevoredo/mini-diarium.

MITAuto-check passed

Install M04 Zero Cost

skills CLI
$ npx skills add fjrevoredo/mini-diarium --skill m04-zero-cost -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install fjrevoredo/mini-diarium m04-zero-cost --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/fjrevoredo/mini-diarium.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/m04-zero-cost .claude/skills/m04-zero-cost && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
m04-zero-cost
GitHub stars
308
Used in
1 other repo
Token cost
~1.2k tokens
SKILL.md length
378 words
Files
1
Skills in repo
41
Repo updated
First seen
Licence
MIT

At a glance

CRITICAL: Use for generics, traits, zero-cost abstraction. An agent skill from fjrevoredo/mini-diarium.

  • Works in 3 steps: What abstraction is needed? → When is type known? → What's the trade-off priority?
  • Zero-cost abstraction
  • SKILL.md covers Core Question, Error → Design Question, Thinking Prompt and Trace Up ↑, plus 8 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

M04 Zero Cost is an agent skill from fjrevoredo/mini-diarium. CRITICAL: Use for generics, traits, zero-cost abstraction. Triggers: E0277, E0308, E0599, generic, trait, impl, dyn, where, monomorphization, static dispatch, dynamic dispatch, impl Trait, trait bound not satisfied, 泛型, 特征, 零成本抽象, 单态化

Its SKILL.md is about 1.2k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

The repository describes itself as: A local-only journal with serious encryption. Free, open source, and never touches the internet. The licence is MIT.

When your agent uses it

  • Zero-cost abstraction

Example prompts

  • “/m04-zero-cost”

Workflow steps

3 steps, taken from the first numbered list in SKILL.md.

  1. What abstraction is needed?
  2. When is type known?
  3. What's the trade-off priority?

What it can do on your machine

Read from SKILL.md and the folder at commit 3ddc537. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are rust).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

M04 Zero Cost loads about 1.2k tokens when it runs. Until then it costs about 62 tokens; SKILL.md has 378 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~62
When it runs · the whole SKILL.md, loaded when a task matches
~1.2k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from fjrevoredo/mini-diarium at commit 3ddc537, republished under its MIT licence (© fjrevoredo). 378 words, ~1,164 tokens.

Download SKILL.mdSave it as .claude/skills/m04-zero-cost/SKILL.md (or your agent's skills folder).
name
m04-zero-cost
description
CRITICAL: Use for generics, traits, zero-cost abstraction. Triggers: E0277, E0308, E0599, generic, trait, impl, dyn, where, monomorphization, static dispatch, dynamic dispatch, impl Trait, trait bound not satisfied, 泛型, 特征, 零成本抽象, 单态化
user-invocable
false

Zero-Cost Abstraction

Layer 1: Language Mechanics

Core Question

Do we need compile-time or runtime polymorphism?

Before choosing between generics and trait objects:

  • Is the type known at compile time?
  • Is a heterogeneous collection needed?
  • What's the performance priority?

Error → Design Question

ErrorDon't Just SayAsk Instead
E0277"Add trait bound"Is this abstraction at the right level?
E0308"Fix the type"Should types be unified or distinct?
E0599"Import the trait"Is the trait the right abstraction?
E0038"Make object-safe"Do we really need dynamic dispatch?

Thinking Prompt

Before adding trait bounds:

  1. What abstraction is needed?

    • Same behavior, different types → trait
    • Different behavior, same type → enum
    • No abstraction needed → concrete type
  2. When is type known?

    • Compile time → generics (static dispatch)
    • Runtime → trait objects (dynamic dispatch)
  3. What's the trade-off priority?

    • Performance → generics
    • Compile time → trait objects
    • Flexibility → depends

Trace Up ↑

When type system fights back:

E0277 (trait bound not satisfied)
    ↑ Ask: Is the abstraction level correct?
    ↑ Check: m09-domain (what behavior is being abstracted?)
    ↑ Check: m05-type-driven (should use newtype?)
Persistent ErrorTrace ToQuestion
Complex trait boundsm09-domainIs the abstraction right?
Object safety issuesm05-type-drivenCan typestate help?
Type explosionm10-performanceAccept dyn overhead?

Trace Down ↓

From design to implementation:

"Need to abstract over types with same behavior"
    ↓ Types known at compile time → impl Trait or generics
    ↓ Types determined at runtime → dyn Trait

"Need collection of different types"
    ↓ Closed set → enum
    ↓ Open set → Vec<Box<dyn Trait>>

"Need to return different types"
    ↓ Same type → impl Trait
    ↓ Different types → Box<dyn Trait>

Quick Reference

PatternDispatchCode SizeRuntime Cost
fn foo<T: Trait>()Static+bloatZero
fn foo(x: &dyn Trait)DynamicMinimalvtable lookup
impl Trait returnStatic+bloatZero
Box<dyn Trait>DynamicMinimalAllocation + vtable

Syntax Comparison

rust
// Static dispatch - type known at compile time
fn process(x: impl Display) { }      // argument position
fn process<T: Display>(x: T) { }     // explicit generic
fn get() -> impl Display { }         // return position

// Dynamic dispatch - type determined at runtime
fn process(x: &dyn Display) { }      // reference
fn process(x: Box<dyn Display>) { }  // owned
Show full SKILL.md (162 more words)Show less

Error Code Reference

ErrorCauseQuick Fix
E0277Type doesn't impl traitAdd impl or change bound
E0308Type mismatchCheck generic params
E0599No method foundImport trait with use
E0038Trait not object-safeUse generics or redesign

Decision Guide

ScenarioChooseWhy
Performance criticalGenericsZero runtime cost
Heterogeneous collectiondyn TraitDifferent types at runtime
Plugin architecturedyn TraitUnknown types at compile
Reduce compile timedyn TraitLess monomorphization
Small, known type setenumNo indirection

Object Safety

A trait is object-safe if it:

  • Doesn't have Self: Sized bound
  • Doesn't return Self
  • Doesn't have generic methods
  • Uses where Self: Sized for non-object-safe methods

Anti-Patterns

Anti-PatternWhy BadBetter
Over-generic everythingCompile time, complexityConcrete types when possible
dyn for known typesUnnecessary indirectionGenerics
Complex trait hierarchiesHard to understandSimpler design
Ignore object safetyLimits flexibilityPlan for dyn if needed

WhenSee
Type-driven designm05-type-driven
Domain abstractionm09-domain
Performance concernsm10-performance
Send/Sync boundsm07-concurrency

© fjrevoredo, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in .agents/skills/m04-zero-cost of fjrevoredo/mini-diarium.

Open the folder on GitHubat commit 3ddc537

Used in 1 other repository

We found 1 copy of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in fjrevoredo/mini-diarium, which our catalogue first saw on October 7, 2026.

Compare with similar skills

M04 Zero Cost next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

M04 Zero Cost compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
M04 Zero Cost this skillfjrevoredo/mini-diarium3081 repos~1.2kAutomated safety check: PassMIT
Cost Trackingaffaan-m/ECC275k1 repos~1.3kAutomated safety check: PassMIT
Cost Conversationruvnet/ruflo74k—~407Automated safety check: NotesMIT
Cost Reportruvnet/ruflo74k1 repos~830Automated safety check: NotesMIT
Cost Optimizeruvnet/ruflo74k1 repos~997Automated safety check: NotesMIT
Cost Trackruvnet/ruflo74k—~773Automated safety check: NotesMIT

Similar skills

  • Cost Tracking

    affaan-m/ECC

    Track and report Claude Code token usage, spending, and budgets from the local ECC cost-tracker metrics log.

    275k GitHub starsUsed in 1 repo~1.3k tokens
    AI & LLM EngineeringAuto-check passed
  • Cost Conversation

    ruvnet/ruflo

    Per-conversation cost view — list every session in cost-tracking with started-at, message count, top model, and total cost

    74k GitHub stars~407 tokensUpdated today
    AI & LLM EngineeringAuto-check: notes
  • Cost Report

    ruvnet/ruflo

    Generate a cost report showing token usage and USD costs by agent and model

    74k GitHub starsUsed in 1 repo~830 tokens
    AI & LLM EngineeringAuto-check: notes
  • Cost Optimize

    ruvnet/ruflo

    Analyze token usage patterns and recommend cost optimizations with estimated savings

    74k GitHub starsUsed in 1 repo~997 tokens
    AI & LLM EngineeringAuto-check: notes
  • Cost Track

    ruvnet/ruflo

    Auto-capture per-session token usage from the Claude Code session jsonl and persist to the cost-tracking namespace

    74k GitHub stars~773 tokensUpdated today
    AI & LLM EngineeringAuto-check: notes
  • Cost Export

    ruvnet/ruflo

    Export cost-tracking telemetry in Prometheus textfile or webhook JSON formats — for external observability (Grafana, Datadog, custom dashboards)

    74k GitHub starsUsed in 1 repo~687 tokens
    DevOps & CloudAuto-check: notes

More from fjrevoredo/mini-diarium

All 41 skills in this repo
  • Manual Planning

    fjrevoredo/mini-diarium

    Create, update, review, and execute manual Markdown implementation plans when harness planning mode is not being used.

    308 GitHub stars~3.7k tokensUpdated yesterday
    Auto-check passed
  • M10 Performance

    fjrevoredo/mini-diarium

    CRITICAL: Use for performance optimization. An agent skill from fjrevoredo/mini-diarium.

    308 GitHub starsUsed in 2 repos~1k tokens
    Auto-check passed
  • Solidjs

    fjrevoredo/mini-diarium

    SolidJS framework development skill for building reactive web applications with fine-grained reactivity.

    308 GitHub stars~2.6k tokensUpdated yesterday
    Auto-check passed
  • Rust Symbol Analyzer

    fjrevoredo/mini-diarium

    Analyze Rust project structure using LSP symbols. An agent skill from fjrevoredo/mini-diarium.

    308 GitHub starsUsed in 2 repos~1.2k tokens
    Auto-check passed
  • Tauri V2

    fjrevoredo/mini-diarium

    Tauri v2 cross-platform app development with Rust backend. An agent skill from fjrevoredo/mini-diarium.

    308 GitHub stars~2.5k tokensUpdated yesterday
    Auto-check passed
  • Exploration Mode

    fjrevoredo/mini-diarium

    Enter exploration mode: a thinking partner for researching and thinking through ideas and problems before implementation.

    308 GitHub stars~3.4k tokensUpdated yesterday
    Auto-check passed

Questions about M04 Zero Cost

What does M04 Zero Cost do?

CRITICAL: Use for generics, traits, zero-cost abstraction. An agent skill from fjrevoredo/mini-diarium. M04 Zero Cost is an agent skill from fjrevoredo/mini-diarium. CRITICAL: Use for generics, traits, zero-cost abstraction.

When should I use M04 Zero Cost?

M04 Zero Cost fits situations like: zero-cost abstraction.

How do I install M04 Zero Cost in Claude Code?

Run `npx skills add fjrevoredo/mini-diarium --skill m04-zero-cost -a claude-code`. Or copy the skill folder (.agents/skills/m04-zero-cost in fjrevoredo/mini-diarium) into .claude/skills/m04-zero-cost in your project. Claude Code loads it when a task matches its description.

How do I install M04 Zero Cost in Codex?

Run `npx skills add fjrevoredo/mini-diarium --skill m04-zero-cost -a codex`. Or copy the skill folder (.agents/skills/m04-zero-cost in fjrevoredo/mini-diarium) into .agents/skills/m04-zero-cost in your project. Codex loads it when a task matches its description.

Can I use M04 Zero Cost in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add fjrevoredo/mini-diarium --skill m04-zero-cost -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/m04-zero-cost, .gemini/skills/m04-zero-cost, .github/skills/m04-zero-cost and .opencode/skills/m04-zero-cost in your project.

What does M04 Zero Cost need to run?

SKILL.md names no scripts, command-line tools or credentials: M04 Zero Cost is instructions for the agent only.

Does M04 Zero Cost access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is M04 Zero Cost safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does M04 Zero Cost use?

M04 Zero Cost is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does M04 Zero Cost use?

About 1.2k tokens (SKILL.md is roughly 4.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to M04 Zero Cost?

Skills that share tags, products or a category with M04 Zero Cost: Cost Tracking (affaan-m/ECC, 275k stars), Cost Conversation (ruvnet/ruflo, 74k stars), Cost Report (ruvnet/ruflo, 74k stars) and Cost Optimize (ruvnet/ruflo, 74k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains M04 Zero Cost?

fjrevoredo (a GitHub user) maintains it in fjrevoredo/mini-diarium, which has 308 GitHub stars. The repository holds 41 skills in this directory. The repository was last updated on October 7, 2026.

Source: fjrevoredo/mini-diarium on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.