26 tagged cryptography, measured the same way as everything else here.
Browse within: post-quantum-cryptography 14formal-verification 13lean4 13program-logic 13proof-assistant 13ai-chatbot 9algorithm-visualizer 9boolean-algebra 9discrete-mathematics 9discrete-structures 9
Agent
Any file using evalSPMF, probOutput, probEvent, or Pr[...] on OracleComp spec needs [IsProbabilitySpec spec]. evalDist / 𝒟[…] also needs a MeasurableSpace on the result type. Lemmas that use uniform cardinalities, PMF.uniformOfFintype, or connect support to nonzero probability need [IsUniformSpec spec]. Plain support…
Agent
An oracle specification maps index types to response types.
Agent
VCVio.ProgramLogic.Tactics.Relational; the umbrella import is still the intended default.
Agent
Expert on Cedar policies for Claude Code tool calls. Use when the user wants to write, modify, or debug a Cedar policy that gates tools like Bash, Edit, Write, Read, Glob, Grep, WebFetch, or WebSearch. Translates natural-language rules into Cedar syntax and validates the result.
Agent
Expert on verifying Ed25519 + JCS receipt chains produced by protect-mcp. Use when a session ends and the user wants to audit the chain, when a verification fails and the failure mode needs explaining, or when investigating suspected tampering.
ZohaibCodez/discrete-structures-ai-platform
Agent
Generate a custom checklist for the current feature based on user requirements.
ZohaibCodez/discrete-structures-ai-platform
Agent
Identify underspecified areas in the current feature spec by asking up to 5 highly targeted clarification questions and encoding answers back into the spec.
ZohaibCodez/discrete-structures-ai-platform
Agent
Create or update the feature specification from a natural language feature description.
Agent
Quantum Shield Project - Strategic Decision Framework.