MARKET RESEARCH

CodexPluginStats: Codex plugin directory

Codex Plugin Stats: discover plugins, explore their skills and track catalog growth and observed changes.

Explore 5,295 plugins across 14 categories.

Selected:proofs ×

All plugins 5

1–5 of 5

All query words must match. Use quotes for an exact phrase. Matches include publisher text, keywords and attributed research.

Discover Codex plugins by task and category
Plugin / developerCategoryFollow
Stars In Hands Gift StudioStars In Hands Gift StudioStars In Hands Gift Studio helps customers choose a personalized map or memory poster, collect the required personalization details, rend...

Publisher subtitle

Personalized gift proofs

Show in context →
OtherVersion 1.0.0
View details →
LaTeX Document MakerSyed Fasih Haider Raza RizviLaTeX Document Maker: your expert LaTeX engineer and typesetter. Complete, compile-ready documents from a description, research papers, I...

Publisher capabilities · listing

…mes, CVs, cover letters, Beamer slides, academic posters, certificates and flyers Writes equations, proofs and algorithms, and converts images, handwriting and Word math into LaTeX Makes professional tables, figures, TikZ diagrams, flowcharts and pgfplots charts from your data Sets up BibTeX and bib…

Show in context →
Education & ResearchVersion 1.0.1
View details →
Cryptography Research SkillsZiyang JinTwelve focused workflows for cryptography research, proof review, manuscript writing, protocol implementation, benchmarking, and reproduc...

Publisher keywords · listing

cryptography research MPC zero-knowledge proofs scientific-writing

Show in context →
1 more matching sources

Publisher full description

…cryptographic constructions and papers, especially secure multiparty computation and zero-knowledge proofs. Formulate research questions, trace literature claims to primary sources, draft and minimally edit technical prose, and examine security arguments under their stated definitions and assumption…

Show in context →
Education & ResearchVersion 0.1.0
View details →
MathboxNajib Idrissi-Kaïtouni

Publisher full description

…research goals across distinct routes, track exact claim revisions and evidence dependencies, audit proofs and sources, and record reproducible bounded experiments. Portable skills with optional local Python tooling.

Show in context →
Education & ResearchVersion 3.2.0
View details →
OnChainDiligenceJAROSLAV GOLIS

Publisher description

…payment proposals against structured policy, retrieve public signed OCD receipts, and check receipt proofs. Inspection is unsigned and performs no sanctions screening. Verification returns VALID, INVALID or UNVERIFIABLE; it does not establish payment safety, compliance or service delivery. This free…

Show in context →
FinanceVersion 1.0.0
View details →