Проверка надежности ограничений AIR
В проектах AIR могут скрываться тонкие пробелы в надежности селекторов, граничных условий и глобальных аргументов. Этот навык дает структурированный процесс криптографического ревью для поиска и объяснения таких рисков.
Скопируйте этот запрос в своего Агента. Он содержит каноническую страницу Skill и манифест.
Review the Skillstore skill "AIR Cryptographer" from https://skillstore.io/skills/clementwalter-air-cryptographer.md and its manifest at https://skillstore.io/api/skills/clementwalter-air-cryptographer/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.Ваш Агент по-прежнему должен показать план и запросить все подтверждения, требуемые политикой безопасности.
Используйте эти ссылки, когда AI-агенту, crawler или script нужен чистый контекст вместо полной страницы.
Использование «AIR Cryptographer». Проверьте дисциплину селекторов для CPU AIR с флагами opcode и строками padding.
Ожидаемый результат:
Ревью отмечает покрытие селекторов как основной риск. Оно рекомендует доказать, что каждый селектор является boolean, ровно один opcode активен, а padding не может имитировать строки исполнения.
Использование «AIR Cryptographer». Оцените аргумент согласованности памяти, который сортирует по адресу и временной метке.
Ожидаемый результат:
Ревью проверяет, связаны ли чтения с предыдущими записями, монотонны ли временные метки и привязан ли отсортированный журнал обратно к трассе CPU.
Использование «AIR Cryptographer». Подготовьте результаты для аудита STARK AIR.
Ожидаемый результат:
Результаты включают инвентаризацию столбцов, карту ограничений, бюджет степеней, состязательные тесты witness, ранжированные выводы и конкретные исправления ограничений.
All 15 static findings are false positives caused by Markdown backticks and cryptographic-review language. The two reviewed files are educational AIR documentation and contain no executable commands, reconnaissance instructions, prompt injection, or data-exfiltration intent.
Делитесь версионным отчетом об оценке, нейтральным значком, встраиваемой карточкой и цитатами. Skillstore публикует доказательства, не решая, безопасен ли этот Skill.
https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report[](https://skillstore.io/skills/clementwalter-air-cryptographer?utm_source=security_passport_badge)<a href="https://skillstore.io/skills/clementwalter-air-cryptographer?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/clementwalter-air-cryptographer/security.svg" alt="Skillstore security assessment" loading="lazy"></a><iframe src="https://skillstore.io/embed/skills/clementwalter-air-cryptographer.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>ClementWalter. (2026). AIR Cryptographer security audit report (audit version 9) [Author version unspecified]. Skillstore. https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9@techreport{clementwalter-clementwalter-air-cryptographer-2026,
author = {ClementWalter},
title = {AIR Cryptographer security audit report (audit version 9)},
institution = {Skillstore},
year = {2026},
number = {9},
url = {https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9},
note = {Author version unspecified}
}cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "AIR Cryptographer security audit report (audit version 9)"
version: "unspecified"
type: report
authors:
- name: "ClementWalter"
date-released: "2026-07-18"
url: "https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9"
identifiers:
- type: other
value: "skillstore:clementwalter-air-cryptographer:audit:9"
description: "Skillstore immutable audit report identifier"
Проверить предложенную структуру трассы и набор ограничений до начала реализации.
Преобразовать клиентскую спецификацию в чек-лист рисков, тестов и отсутствующих ограничений.
Сравнить столбцы, рост степени, использование lookup и варианты привязки transcript.
Объясните этот дизайн AIR простым языком. Определите столбцы трассы, смысл строк, публичные входные данные и основные ограничения.
Проверьте эти селекторы и gated constraints. Проверьте booleanity, exclusivity, coverage и может ли какая-либо строка обойти enforcement.
Создайте чек-лист надежности AIR для этой спецификации. Включите проверки boundary, transition, lookup, permutation, memory и transcript.
Выступите как криптографический ревьюер. Попробуйте построить мошеннические трассы, которые удовлетворяют этим ограничениям, но нарушают заявленное утверждение.
Автор
ClementWalterЛицензия
MIT
Ревизия Skillstore
r2
Примечание о версии
Автор не указал версию.
Репозиторий
https://github.com/ClementWalter/rookie-marketplace/tree/main/air-cryptographer/skills/air-expertiseСсылка
c68df504887c54bf71d2d467a1fbebde49467868
Актуальность поддержки
20.07.2026
Использование
5 загрузок · 221 просмотров
Структура файлов
Проектирование производственных рабочих пространств Rust
Проекты на Rust могут становиться сложными в сопровождении, когда крейты, зависимости, тесты и CI растут без четких границ. Этот навык дает практические шаблоны для проектирования workspace, гигиены зависимостей, тестирования, трассировки и контрольных проверок качества.
Координация написания документов несколькими агентами
Большие технические документы сложно планировать, делегировать и проверять по множеству разделов. Этот навык предоставляет рабочий процесс VibeKanban для планов, задач по разделам, отслеживания прогресса и проверок согласованности.
Аудит рисков безопасности с помощью структурированных чек-листов
При проверках безопасности можно упустить важные меры контроля, если команды полагаются на разрозненные вопросы. Этот skill помогает Claude, Codex и Claude Code проводить структурированные аудиты в областях приложений, инфраструктуры, цепочки поставок, криптографии, смарт-контрактов и ZK.
Планирование этичных экспериментов роста
Команды роста часто гонятся за тактиками без четких циклов, метрик и ограничений. Этот навык помогает Claude, Codex и Claude Code формировать сфокусированные планы роста и эксперименты.
Управление Gmail из Claude Code
Работа с электронной почтой часто требует переключения между инструментами и ручного копирования сведений о сообщениях. Этот skill позволяет Claude, Codex и Claude Code просматривать списки, читать, искать и отвечать на сообщения Gmail, используя учетные данные, сохраненные в 1Password.
Координация рабочих процессов AI-агентов для написания кода
Координация нескольких агентов для написания кода может приводить к дублированию работы, неясному владению задачами и слабой видимости статуса. Этот навык дает Claude, Codex и Claude Code структурированные рабочие процессы VibeKanban для делегирования, мониторинга и эскалации.
Усиление проверок безопасности приложений
от alirezarezvani
Проверкам безопасности часто не хватает единообразных чек-листов и переиспользуемых рабочих процессов. Этот навык предоставляет заготовки для проверок безопасности, справочные рекомендации и простые скрипты для отчетности для Claude, Codex и Claude Code.
Создание рабочих процессов для ключей Azure Key Vault
от sickn33
Управление ключами Azure в .NET требует правильной настройки SDK, аутентификации и выбора криптографических API. Этот навык помогает безопасно создавать, ротировать, шифровать, подписывать ключи Key Vault и выполнять поиск ссылок на них.
Управление ключами Azure Key Vault в Rust
от sickn33
Командам Rust нужны надежные шаблоны для операций с ключами Azure Key Vault. Этот навык предоставляет сфокусированные примеры SDK для key clients, задач жизненного цикла ключей, криптографических операций, RBAC и защитных мер для production.
Управление ключами Azure Key Vault в Java
от sickn33
Командам Java нужны безопасные примеры операций с ключами Azure Key Vault. Этот skill предоставляет сфокусированные рекомендации по Java SDK для клиентов ключей, криптографических операций, ротации и восстановления.
Управление секретами Azure Key Vault в TypeScript
от sickn33
Командам нужны единообразные примеры на TypeScript для хранения и получения облачных секретов. Этот навык предоставляет шаблоны Azure Key Vault SDK для аутентификации, жизненного цикла секретов, ключей, криптографии и восстановления.
Управление Azure Key Vault из Python
от sickn33
Командам Python нужны безопасные шаблоны использования секретов, ключей и сертификатов Azure Key Vault. Этот skill предоставляет сфокусированные примеры SDK для настройки, операций, асинхронного доступа и обработки ошибок.