Agent Skills: air-cryptographer
This skill should be used when the user asks about "AIR", "algebraic intermediate representation", "ZK constraints", "trace design", "constraint soundness", "polynomial commitments", "FRI", "STARK", "lookup arguments", "permutation arguments", "memory consistency", "transition constraints", "boundary constraints", "vanishing polynomial", "quotient polynomial", "Fiat-Shamir", or needs expert-level cryptographic review of constraint systems.
ID: aiskillstore/marketplace/air-cryptographer
42745
Install this agent skill to your local
Skill Files
The files that make up air-cryptographer.
More agent skills
- dead-codeFind unused functions and dead code in the codebase
- aws-cdk-python-setupSetup and initialization guide for developing AWS CDK (Cloud Development Kit) applications in Python. This skill enables users to configure environment prerequisites, create new CDK projects, manage dependencies, and deploy to AWS.
- do-and-judgeExecute a task with sub-agent implementation and LLM-as-a-judge verification with automatic retry loop
- cookie-syncSync cookies from local Chrome to a Browserbase persistent context so the browse CLI can access authenticated sites. Use when the user wants to browse as themselves, sync cookies, or log into sites via Browserbase.
- memory-systemsThis skill should be used for persistent semantic memory in agent systems: cross-session knowledge retention, entity tracking, temporal validity, graph or vector retrieval, memory consolidation, and memory benchmark selection. Route file-backed scratchpads to filesystem-context, handoff summaries to context-compression, and token-efficiency tactics to context-optimization.
- understand-prGuided interactive PR review — understand the history and context before forming opinions