Skip to content
anlyon.devby Anlyon

io.github.cyanheads/faa-airmen-registry-mcp-server

io.github.cyanheads/faa-airmen-registry-mcp-servercyanheadsstreamable-httpv0.2.1Scanned

Search FAA airmen certificates, ratings, and informational medical records.

6 tools: 6 only read.

Tools: 0 delete, 0 irreversible, 0 write, 6 read.
  • Reads private data · 0
  • Reads text others write · 0
  • Can send data out · 0
  • 2 findings

Anlyon alternative

Run the operations that matter as governed actions.

Declare what an action changes, and Anlyon puts it under a shared limit, binds every approval to the exact request, and grades the outcome. It works on any HTTPS API you can describe as an action.

Anlyon does not run, proxy or govern this MCP server. A tool your own code calls directly is not routed through Anlyon and is not governed by it.

Import an OpenAPI spec →
Compare with similar serversMarkdownJSONReport this listing

Tools

Grouped by what each tool does, most consequential first. Open one for its reasons and full description; descriptions are the publisher's own words.

6 tools

Only reads 6Show 6 read-only tools
  • faa_airmen_check_medical_statusRead the FAA snapshot's informational medical class, medical dates, and BasicMed dates for one airman Unique ID.No findings

    Why it is in this group

    • The name "faa_airmen_check_medical_status" says "status": a word for reading.
    Description, as the server wrote it
    Read the FAA snapshot's informational medical class, medical dates, and BasicMed dates for one airman Unique ID. These fields are not authoritative medical certification or fitness determinations. Get the ID from faa_airmen_verify_certificate. Every call is rejected while the operator's personal-data redaction is on (the default).

    Annotations the server declares

    • readOnlyHint: true
    • idempotentHint: true
    • openWorldHint: false
  • faa_airmen_get_type_ratingsRead all source aircraft type, category/class, and instrument ratings for one FAA airman Unique ID.No findings

    Why it is in this group

    • The name "faa_airmen_get_type_ratings" says "get": a word for reading.
    Description, as the server wrote it
    Read all source aircraft type, category/class, and instrument ratings for one FAA airman Unique ID. Get the ID from faa_airmen_verify_certificate. Ratings retain their source certificate type and level and do not establish current operating privileges.

    Annotations the server declares

    • readOnlyHint: true
    • idempotentHint: true
    • openWorldHint: false
  • faa_airmen_list_referenceRead FAA certificate and rating codes, observed aircraft type designators, identity guidance, medical guidance, or local mirror status.No findings

    Why it is in this group

    • The name "faa_airmen_list_reference" says "list": a word for reading.
    Description, as the server wrote it
    Read FAA certificate and rating codes, observed aircraft type designators, identity guidance, medical guidance, or local mirror status. Use these references to construct lookup filters and interpret snapshot limits. Static topics work before mirror initialization.

    Annotations the server declares

    • readOnlyHint: true
    • idempotentHint: true
    • openWorldHint: false
  • faa_airmen_search_instructorsFind releasable flight and ground instructor certificate records by name, state, and rating codes.No findings

    Why it is in this group

    • The name "faa_airmen_search_instructors" says "search": a word for reading.
    Description, as the server wrote it
    Find releasable flight and ground instructor certificate records by name, state, and rating codes. Supply at least one name, state, city, ZIP, or rating filter. City and ZIP filters require operator-enabled location access. While the operator's personal-data redaction is on (the default), lastName and firstName are both required, nameMatch prefix and city or ZIP filters are rejected, and city and ZIP are withheld. Legacy expiry fields do not establish instructor currency; CFI certificates no longer expire under the December 2024 rule.

    Annotations the server declares

    • readOnlyHint: true
    • idempotentHint: true
    • openWorldHint: false
  • faa_airmen_verify_certificateFind releasable FAA airman records by exact Unique ID or name and read their certificate records.2 findings

    Why it is in this group

    • The description's first verb is "find": a word for reading.

    Findings

    • Info

      The input schema at properties.ratingCodes.description mentions "credential".

      Matched text

      inputSchema.properties.ratingCodes.description: "...me certificate as every other requested credential, never across certificates."

      What this check looks for
    • Info

      The input schema at properties.typeRatings.description mentions "credential".

      Matched text

      inputSchema.properties.typeRatings.description: "...me certificate as every other requested credential."

      What this check looks for
    Description, as the server wrote it
    Find releasable FAA airman records by exact Unique ID or name and read their certificate records. Use name mode to discover IDs, then use an ID for ratings or informational medical fields. Certificate type, level, rating, and type-rating filters must all match one certificate, and each match still returns all its certificates. While the operator's personal-data redaction is on (the default), name mode needs lastName and firstName, nameMatch prefix and city or ZIP filters are rejected, and city and ZIP are withheld. A missing or matching record is not a current licensing or operating-privilege determination.

    Annotations the server declares

    • readOnlyHint: true
    • idempotentHint: true
    • openWorldHint: false
  • faa_airmen_verify_remote_pilotFind releasable FAA remote pilot certificate records by Unique ID or name.No findings

    Why it is in this group

    • The description's first verb is "find": a word for reading.
    Description, as the server wrote it
    Find releasable FAA remote pilot certificate records by Unique ID or name. While the operator's personal-data redaction is on (the default), name mode needs lastName and firstName, nameMatch prefix and city or ZIP filters are rejected, and city and ZIP are withheld. Results establish certificate presence in the local snapshot; they do not establish recurrent-training currency, commercial operating authority, or current Part 107 eligibility.

    Annotations the server declares

    • readOnlyHint: true
    • idempotentHint: true
    • openWorldHint: false

This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.

Exfil surface

Which tools read private data, which read text someone else can write, and which can send data out. One of each is a path a prompt injection can use.

No private-data, untrusted-input, outbound path in this server alone: no tool is tagged private-data or untrusted-input or outbound.

Reads private data0
Reads files, mail, messages, databases, secrets, calendars or repositories.
Reads text others write0
Brings in text someone else can write: web pages, inbound email, messages, issues and comments.
Can send data out0
Can carry data to people or systems: it sends, posts or publishes, or takes a recipient, channel or URL.

Other servers in the same agent add their own tools to these paths. Audit your whole setup to see them together.

Findings

Matches of fixed checks, with the text they matched.

2 info

History

Changes to its tool definitions and to its remote endpoint, newest first.

No change seen yet. Its tools are rescanned every day, and a remote endpoint is looked at once a week.

All changes to this server

Install

Pinned to version 0.2.1. Values in angle brackets are yours to fill in.

claude mcp add --transport http faa-airmen-registry https://faa-airmen-registry.caseyjhand.com/mcp
claude mcp add --transport http faa-airmen-registry https://faa-airmen-registry.caseyjhand.com/mcp

Run in a terminal.

Claude Code permissions

Allow the reads, ask before a change or a way out, deny the deletes. Paste into .claude/settings.json.

.claude/settings.json
{
  "permissions": {
    "allow": [
      "mcp__faa-airmen-registry__faa_airmen_verify_certificate",
      "mcp__faa-airmen-registry__faa_airmen_get_type_ratings",
      "mcp__faa-airmen-registry__faa_airmen_check_medical_status",
      "mcp__faa-airmen-registry__faa_airmen_search_instructors",
      "mcp__faa-airmen-registry__faa_airmen_verify_remote_pilot",
      "mcp__faa-airmen-registry__faa_airmen_list_reference"
    ],
    "ask": [],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. A read that can send data out (it takes a URL, say) asks first too. It assumes the server is installed as faa-airmen-registry. Review it before you use it.

Pin

Keep the decision: fail CI when the tools change, follow every change, or show a badge.

Pin in CI

Fail a build when the tools you reviewed are not the tools the server serves today.

curl -s "https://anlyon.dev/api/v1/servers/io.github.cyanheads/faa-airmen-registry-mcp-server/verify?hash=8153ff599f040ab777e152871fed4899482cef6fef6a761192f1c690c949611d" | jq -e '.changed == false'

Pinned hash 8153ff599f04, from Oct 25, 2026, 10:18 UTC.

Watch

Get told when its tools change: a new tool, a new description, a new class.

https://anlyon.dev/servers/io.github.cyanheads/faa-airmen-registry-mcp-server/changes.xml

An Atom feed. Works in any feed reader or Slack's RSS app.

Badge

anlyon.dev badge for io.github.cyanheads/faa-airmen-registry-mcp-server
[![anlyon.dev](https://anlyon.dev/badge/io.github.cyanheads/faa-airmen-registry-mcp-server.svg)](https://anlyon.dev/servers/io.github.cyanheads/faa-airmen-registry-mcp-server)

Source: MCP Registry · repository. Synced Oct 25, 2026, 10:17 UTC.