RiaoMike
UserPortable research-grade agent skills for cryptography, ZKP, and lattice research
Categories
Indexed Skills (13)
crypto-experiment-reproducibility
Use when designing, auditing, reproducing, or packaging cryptography/ZKP/lattice experiments, benchmarks, estimators, proof checkers, datasets, code artifacts, tables, figures, or claim-to-artifact evidence.
crypto-idea-evaluator
Use when turning a cryptography, ZKP, or lattice idea into a research question, claim map, feasibility assessment, evidence plan, risk register, or go/no-go decision.
crypto-literature-search
Use when conducting cryptography, ZKP, or lattice literature discovery, prior-art mapping, citation verification, closest-work comparison, related-work evidence collection, or bounded novelty searches.
crypto-novelty-check
Use when adversarially checking whether a decomposed cryptography, ZKP, or lattice contribution has matching prior art, priority conflicts, hidden predecessors, or only a bounded novelty claim.
crypto-paper-reader
Use when deeply reading one cryptography, ZKP, or lattice paper to extract its claims, definitions, proof structure, assumptions, parameters, evidence, costs, limitations, and research implications.
crypto-paper-review
Use when pre-reviewing, peer reviewing, stress-testing, or assessing submission readiness of a cryptography, ZKP, lattice, or security paper for a leading research venue.
crypto-paper-writing
Use when outlining, drafting, restructuring, or completing a cryptography, ZKP, lattice, or security paper from verified claims, proofs, literature, parameters, experiments, artifacts, and venue requirements.
crypto-related-work-synthesis
Use when synthesizing a verified cryptography, ZKP, or lattice paper corpus into a taxonomy, historical development, claim comparison, tradeoff map, research gaps, or related-work section evidence base.
crypto-research-pipeline
Use when orchestrating an end-to-end cryptography, zero-knowledge proof, or lattice research project from an idea through literature, novelty, proofs, parameters, experiments, writing, internal review, and submission readiness.
crypto-research-skill-creator
Use when creating, auditing, or refactoring reusable agent skills for cryptography, zero-knowledge proofs, lattice research, theorem review, security claims, or citation-sensitive literature work.
crypto-theorem-review
Use when auditing a cryptographic theorem, lemma, proof, game hop, reduction, ZKP security property, lattice assumption, or claimed protocol-security implication.
lattice-parameter-audit
Use when auditing LWE, Ring-LWE, Module-LWE, SIS-family, lattice KEM/signature/FHE/ZKP parameters, reductions, correctness failures, concrete attacks, estimator outputs, or implementation compatibility.
zkp-security-review
Use when auditing an interactive or non-interactive zero-knowledge proof/argument, proof of knowledge, Fiat-Shamir transform, SNARK/STARK, polynomial commitment, aggregation, recursion, folding, or IVC system.
Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.