Home / tartinerlabs / skills · xcode-skills/adopt-c-bounds-safety/SKILL.md · GitHub

adopt-c-bounds-safety skillA

adopt-c-bounds-safety is agent-read markdown (skill) from tartinerlabs/skills: Guide for the C -fbounds-safety language extension. Covers the language model, pointer annotations, adopting bounds-safety in existing C code, compiler build settings and modes, and runtime debugging of bounds violations..

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

## How to Use This Skill

When helping with `-fbounds-safety` adoption or code changes, ask clarifying questions about the user's codebase and goals before suggesting changes. For complex tasks involving multiple files or non-trivial annotation decisions, use plan mode to propose an approach before implementing.

# `-fbounds-safety` Language Extension

`-fbounds-safety` is a C language extension that prevents out-of-bounds memory access by enforcing bounds safety at the language level. It inserts automatic bounds checks at runtime, rejects unsafe pointer operations at compile time, and requires programmers to provide bounds annotations so the compiler can guarantee safety. Out-of-bounds accesses become deterministic traps instead of exploitable vulnerabilities.

## Detailed Documentation

### Required reading before adoption work

You MUST have fully read the following three documents (via the Read tool) at the start of an adoption task, and re-read them via the Read tool before any source-modifying step in the adoption workflow unless their content is verifiably fresh in your active context:
…

Read the whole file at its exact version.

How to install

Latest version
mdr add tartinerlabs/skills/adopt-c-bounds-safety@git:20260713.ba4f7f8
Exact content
mdr add tartinerlabs/skills/adopt-c-bounds-safety@sha256:531fd0d74a769801

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_tilo5ouvbdy5gxkr.svg)](https://markdownregistry.com/a/art_tilo5ouvbdy5gxkr)

1 badge views in 30 days

Versions

versioncommittedcommitsizeaudit
git:20260713.ba4f7f8 latest2026-07-13 ba4f7f8 2,942 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 (2942 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

tartinerlabs/skills · 8 stars · license MIT · pushed 2026-09-19 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_tilo5ouvbdy5gxkr
GET https://markdownregistry.com/api/v1/resolve?ref=tartinerlabs/skills/adopt-c-bounds-safety
GET https://markdownregistry.com/api/v1/blob/531fd0d74a76980196e48b9821256d4c5dbc66feb478b9eef5af3892f26f13f6

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 tartinerlabs/skills

AGENTS.md agents
tartinerlabs/skills · AGENTS.md
git:20260726.0241bb2 · audit A · 8 stars
CLAUDE.md claude
tartinerlabs/skills · CLAUDE.md
git:20260726.3dddebc · audit A · 8 stars
commit skill
tartinerlabs/skills · skills/commit/SKILL.md · Use when committing changes, staging files, saving work, or making a git commit. Creates clean commits in the…
git:20260726.9b1c2f9 · audit A · 8 stars
create-branch skill
tartinerlabs/skills · skills/create-branch/SKILL.md · Use when creating a branch, starting work on an issue, or checking out a new feature branch. Validates branch naming…
git:20260807.4d3d994 · audit A · 8 stars
create-pr skill
tartinerlabs/skills · skills/create-pr/SKILL.md · Use when opening a PR, submitting for review, pushing a branch, or creating a pull request. Pushes and creates GitHub…
git:20260820.7bc4969 · audit A · 8 stars
deps skill
tartinerlabs/skills · skills/deps/SKILL.md · Use when hardening a dependency supply chain, pinning versions, adding registry/security flags, or setting up Renovate…
git:20260823.7490cdf · audit A · 8 stars
github-actions skill
tartinerlabs/skills · skills/github-actions/SKILL.md · Use when adding CI/CD, creating workflows, auditing GitHub Actions, or fixing action pinning. Creates and audits…
git:20260823.ba8e2e6 · audit A · 8 stars
github-issues skill
tartinerlabs/skills · skills/github-issues/SKILL.md · Use when filing a bug, requesting a feature, creating an issue, or updating issue details. Manages issues on GitHub…
git:20260817.a873993 · audit A · 8 stars
naming-format skill
tartinerlabs/skills · skills/naming-format/SKILL.md · Use when reviewing file names, renaming files, fixing naming conventions, or auditing exports. Enforces consistent…
git:20260726.9b1c2f9 · audit A · 8 stars
project-structure skill
tartinerlabs/skills · skills/project-structure/SKILL.md · Use when deciding where code should live, organising files, or auditing project structure. Checks colocation, grouping…
git:20260726.9b1c2f9 · audit A · 8 stars
refactor skill
tartinerlabs/skills · skills/refactor/SKILL.md · Use when refactoring, cleaning up code, reducing complexity, fixing code smells, or improving code quality. Audits code…
git:20260726.9b1c2f9 · audit A · 8 stars
security skill
tartinerlabs/skills · skills/security/SKILL.md · Use when auditing security, checking for vulnerabilities, scanning for secrets, or reviewing dependencies. Dependency…
git:20260823.ba8e2e6 · audit A · 8 stars

Every file in tartinerlabs/skills

Other files named adopt-c-bounds-safety

adopt-c-bounds-safety skill
artemnovichkov/xcode-skills · skills/adopt-c-bounds-safety/SKILL.md · Guide for the C -fbounds-safety language extension. Covers the language model, pointer annotations, adopting…
git:20260909.9b8428c · audit A · 26 stars

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