auditing-device-code-and-pkce-flows SKILL.md skillA

auditing-device-code-and-pkce-flows from unboundcompute/security-agent-skills is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add unboundcompute/security-agent-skills/auditing-device-code-and-pkce-flows@git:20260821.57dfaf1

Pins git:20260821.57dfaf1 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
unboundcompute/security-agent-skills
Path
skills/auditing-device-code-and-pkce-flows/SKILL.md
Versions recorded
1
Latest version
git:20260821.57dfaf1, committed Aug 21, 2026
Size
9,855 bytes
Repository stars
26
License
MIT

Audit the server side of the authorization-code-with-proof-key and device-authorization grants for bugs that let a stolen or guessed code become a token. Covers a token endpoint that issues without checking the proof-key verifier at all, that accepts the plain challenge method or a challenge-absent downgrade, or that binds the verifier to the client rather than to the specific code; and a device grant whose short user code is brute-forceable because polling is unthrottled, whose device code is…

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Auditing proof-key and device-code grants: when a code becomes a token without proof

The proof-key exchange and the device-authorization grant both exist to close one gap: a
authorization code, on its own, can be intercepted, and a short user code can be guessed. Each grant
adds a proof that binds the token request to the party that actually started the flow, a verifier
that only the real client knows, or a device code that only the real device holds. The server side is
where that proof is enforced, and where it is quietly not. When the token endpoint issues without
checking the verifier, honors a downgraded challenge, or hands tokens for a device code it never
bound to a client, an intercepted or guessed code becomes a live token. You find these by reading the
issuance path and asking what proof it demands before it mints a token.

## When to use

- The code implements or wraps a token endpoint that redeems an authorization code, or a device-authorization grant.
- A public client (one that cannot hold a secret) relies on the proof key as its protection against code interception.
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add unboundcompute/security-agent-skills/auditing-device-code-and-pkce-flows@sha256:9d259c45f1194c7a

The line at the top of this page pins the label git:20260821.57dfaf1, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

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

3 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 1 version of this file, committed on Aug 21, 2026.

versioncommittedcommitsizeaudit
git:20260821.57dfaf1 latest2026-08-21 57dfaf1 9,855 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the 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 (9855 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

unboundcompute/security-agent-skills · 26 stars · license MIT · pushed 2026-09-08 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_jrgbp252weslvedz
GET https://markdownregistry.com/api/v1/resolve?ref=unboundcompute/security-agent-skills/auditing-device-code-and-pkce-flows
GET https://markdownregistry.com/api/v1/blob/9d259c45f1194c7ae16b812154e2f12966e492dff2fae4d554d43ef67a47f02d

Your AI assistant 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.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from unboundcompute/security-agent-skills

adjudicating-dependency-cve-reachability SKILL.md skill
unboundcompute/security-agent-skills · skills/adjudicating-dependency-cve-reachability/SKILL.md · Decide whether a CVE in a dependency actually exposes your application before you scramble to patch: is the vulnerable…
git:20260816.c75b58d · audit A · 26 stars
adjudicating-taint-paths SKILL.md skill
unboundcompute/security-agent-skills · skills/adjudicating-taint-paths/SKILL.md · Decide whether a whitebox lead is a real bug by tracing taint from an untrusted source to a dangerous sink and…
git:20260816.faa9c07 · audit A · 26 stars
auditing-account-abstraction-and-paymaster-trust SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-account-abstraction-and-paymaster-trust/SKILL.md · Audit an ERC-4337 account-abstraction deployment for trust misplaced in the user-operation lifecycle: a smart account…
git:20260901.f8395d1 · audit A · 26 stars
auditing-account-recovery-and-reset-trust SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-account-recovery-and-reset-trust/SKILL.md · Audit password reset and account recovery flows for the trust that lets an attacker take over an account: a reset token…
git:20260829.b60f9b2 · audit A · 26 stars
auditing-admission-control-policy-gaps SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-admission-control-policy-gaps/SKILL.md · Audit cluster admission control for gaps that let a non-compliant or hostile workload through: a validating webhook…
git:20260828.ce55026 · audit A · 26 stars
auditing-ai-agent-permissions SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-ai-agent-permissions/SKILL.md · Audit what an AI agent is actually allowed to do versus what its task needs. Covers excessive agency (tools, scopes…
git:20260816.a6124f2 · audit A · 26 stars
auditing-android-component-exposure SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-android-component-exposure/SKILL.md · Audit an Android app for components another app on the device can reach and drive, after the manifest export flags and…
git:20260823.e797ed0 · audit A · 26 stars
auditing-android-intent-redirection-and-pendingintent SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-android-intent-redirection-and-pendingintent/SKILL.md · Audit Android privilege and access leaks through intent redirection and mutable pending intents, where a privileged…
git:20260908.e3ae18a · audit A · 26 stars
auditing-ansible-become-and-vault-trust SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-ansible-become-and-vault-trust/SKILL.md · Audit configuration-management privilege escalation and secret handling for trust that runs as root on every managed…
git:20260827.b5f41a4 · audit A · 26 stars
auditing-api-key-and-token-lifecycle SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-api-key-and-token-lifecycle/SKILL.md · Audit the lifecycle of API keys and access tokens for weaknesses that let one keep working past its intended bounds: a…
git:20260903.19a7174 · audit A · 26 stars
auditing-ble-and-gatt-authorization SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-ble-and-gatt-authorization/SKILL.md · Audit a Bluetooth Low Energy device for missing authorization on its GATT attributes: a characteristic performing a…
git:20260901.f8395d1 · audit A · 26 stars
auditing-break-glass-account-trust SKILL.md skill
unboundcompute/security-agent-skills · skills/auditing-break-glass-account-trust/SKILL.md · Audit emergency break-glass and privileged-access accounts for the ways their standing power outlives the emergency…
git:20260903.19a7174 · audit A · 26 stars

Every file in unboundcompute/security-agent-skills

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