agentmods.dev

ceiling AGENTS.md

A repository instruction file for Ceiling, a desktop application with a Tauri interface, shared Rust backend, and command-line tool. Tauri combines a web-based interface with a native application shell.

In plain words
What is it for?
Use it when modifying the Tauri desktop app, React interface, Rust backend, command-line tool, providers, settings, login, tray icon, or related project workflows.
Why use it?
It clarifies which parts of the project are current when documentation refers to older macOS or Swift code.

Instructions file for CodexOpenCode

24 6d ago C scan 1,586 tokens original MIT
View the source file tsouth89/ceiling
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add instructions/tsouth89/ceiling/agents-md
Clone the repo
git clone --depth 1 https://github.com/tsouth89/ceiling

Made for: Codex, OpenCode.

Per session 1,586 This file is loaded in full into every session.
When invoked 1,586 The same file — it is already loaded in full.
Security scan C 1 finding. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.01586 $0.01586
Opus 5 $0.00793 $0.00793
Sonnet 5 $0.00317 $0.00317
Haiku 4.5 $0.00159 $0.00159

Measured 2d ago against content hash da4fc9ea9884, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade C, and why

ceiling AGENTS.md scanned grade C with 1 finding against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Recursive force deletehighDestructive command

rm -rf with a variable or a broad path is one typo away from removing the wrong tree.

- Remove with `git worktree remove ../.worktrees/<task>` then `git worktree prune`. On Windows this deletes the files but leaves the empty directory tree, so follow with `rm -rf ../.worktrees/<task>`. Skipping that is wh
AGENTS.md · 90 lines

How it starts

The opening of the file, as written. The whole thing — 90 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Repository Guidelines

Current Project State

  • This branch launches the Tauri desktop shell by default (apps/desktop-tauri/src-tauri), while rust/ remains the shared backend/domain crate and standalone CLI.
  • Many files in docs/ and some workflows reference the upstream macOS/Swift project. Treat those as historical or upstream-sync material unless the task is explicitly about upstream parity.
  • When repo docs conflict, trust the active Tauri desktop sources in apps/desktop-tauri plus the shared Rust sources in rust/src.

Project Structure & Modules

  • apps/desktop-tauri/: Tauri desktop shell (default UI). React frontend in apps/desktop-tauri/src/, Rust backend + tray bridge in apps/desktop-tauri/src-tauri/src/.
  • rust/src: Shared backend crate + CLI (codexbar binary). Houses providers, settings, login, status, sound, shortcuts, browser cookie extraction, and the shared tray-icon renderer.
  • rust/src/providers: Provider-specific fetch/parsing/auth logic. Keep provider boundaries clean.
  • rust/src/tray (shared): icon.rs + render.rs — pixel-level tray-icon rendering used by the Tauri shell.
  • rust/src/browser: Browser detection + cookie extraction for Windows.
  • rust/src/core: Shared provider-construction (instantiate_provider) and provider IDs.
  • rust/assets, rust/icons, rust/gen, rust/wix: UI assets, generated schemas, installer packaging.
  • docs: Mixed documentation (Windows port docs plus upstream/macOS references). Update only the relevant docs.

Build, Test, Run

  • Default desktop work runs from the repo root; cd rust is for backend/CLI-only tasks.
  • Build the desktop shell (preferred): cd apps/desktop-tauri && npm run tauri:build (or tauri:build:debug). Raw cargo build --release on the Tauri crate produces an exe that still points at the dev URL.
  • Build the CLI: cargo build -p codexbar.
  • Test: cargo test --manifest-path rust/Cargo.toml and cargo test --manifest-path apps/desktop-tauri/src-tauri/Cargo.toml.
  • Run CLI locally: cargo run -p codexbar -- --help, cargo run -p codexbar -- usage -p claude, cargo run -p codexbar -- cost. The CLI no longer launches a GUI when run with no subcommand.
  • Run the desktop shell through Tauri's build/dev flow: .\dev.ps1, ./dev.sh, or cd apps/desktop-tauri && npm run tauri:dev.
  • Format/lint before handoff when code changed: cargo fmt --all and cargo clippy --all-targets -- -D warnings on both manifests (or explain why not run).
  • There is no active root-level Scripts/ build pipeline in this port. Do not rely on legacy Scripts/*.sh commands.

Read the full file on GitHub · 90 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2d ago First seen · 90 lines · 1,586 tokens per session scan C da4fc9ea9884

Subscribe to this mod's changes

ceiling AGENTS.md is an instructions file published in the GitHub repository tsouth89/ceiling (24 stars, last pushed 6d ago), licensed MIT. It adds 1,586 tokens to every session, about $0.0079 per session on Opus 5. A static security scan graded it C with 1 finding (recursive force delete). No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

ai-toolsclaude-codeopenai-codextauriwindows
Related

Other instructions, from other repositories

HuLa AGENTS.md

Instructions for HuLaSpark/HuLa, a project described as: 🍀 A cross-platform instant messaging desktop application with exceptional performance built on Rust + Vue3, compatible with Windows, macOS, Linux, Android, and iOS（一款基于Rust+Vue3极致性能的跨平台即时通讯桌面应用，兼容Windows、MacOS、Linux、Android、IOS）.

HuLaSpark/HuLa · 1 tokens

codex-multi-profile AGENTS.md

Instructions for Hung2124/codex-multi-profile: This repository is a Windows-only Codex Desktop multi-account helper.

Hung2124/codex-multi-profile · 227 tokens

codex-usage-widget AGENTS.md

Instructions for ognjeeen/codex-usage-widget, covering agents.md, project, scope and decision discipline, authorization and repository safety and architecture boundaries.

ognjeeen/codex-usage-widget · 1,218 tokens

taurus CLAUDE.md

Instructions for astetic-dev/taurus, covering taurus — project instructions, contribution workflow — changes go through github issues and stack.

astetic-dev/taurus · 251 tokens

skill-zoo AGENTS.md

Instructions for luochang212/skill-zoo, covering agents.md, how we work, what this project is, project layout and core design decisions.

luochang212/skill-zoo · 1,956 tokens

HuLa CLAUDE.md

Instructions for HuLaSpark/HuLa, a project described as: 🍀 A cross-platform instant messaging desktop application with exceptional performance built on Rust + Vue3, compatible with Windows, macOS, Linux, Android, and iOS（一款基于Rust+Vue3极致性能的跨平台即时通讯桌面应用，兼容Windows、MacOS、Linux、Android、IOS）.

HuLaSpark/HuLa · 1 tokens