Education & Research Codex plugins
Codex Plugin Stats: discover plugins, explore their skills and track catalog growth and observed changes.
Explore 5,495 plugins across 14 categories.
Education & Research plugins 2
1–2 of 2All query words must match. Use quotes for an exact phrase. Matches include publisher text, keywords and attributed research.
| Plugin / developer | Category | Follow |
|---|---|---|
Cryptography Research SkillsZiyang Jin Publisher full description …small. Proof audits distinguish confirmed errors, proof gaps, unstated assumptions, and unverified dependencies. They are read-only unless edits or proof completion are requested. This package provides workflow instructions and references. It does not certify security, replace expert review, or sup… Show in context → |
Education & ResearchVersion 0.1.0 | View details → |
MathboxNajib Idrissi-Kaïtouni Publisher description Sustained mathematical research with auditable claims, dependencies and reproducible experiments Show in context →1 more matching sourcesPublisher full description Pursue 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 → |