Dev Skills
codexA small development workflow with Occam-driven solution design, requirements, implementation, debugging, verification, review, and authorized delivery.
7 skills
1
codex
Research
Research reading, contextual reasoning, and opt-in Lean formalization.
Plugin research in aperep/my-ai-plugins. Commands read from the repo's manifest — 21 days ago.
What it installs
Skills (4)
extracting-precise-resultsUse when a bibliography note, literature survey, or citation must identify a paper's precise theorem, proposition, lemma, or corollary. Extract its number, hypotheses, conclusion, and source location. Not for relevance triage from an abstract. human-revised: 9d7b130
formalizeFormalize or verify a selected statement in Lean, optionally using Aristotle to propose code. Use only for an explicit request for formalization, Lean, Aristotle, or machine-checked proof. Not for informal explanation, examples, or gap analysis.
interlinearMaintain sentence-tagged LaTeX research documents and their typed annotation sidecars. Use for interlinear translations, explanations, local context, references, formal status, examples, or annotation views. Not for ordinary formatting, informal reasoning, or Lean work.
reasonAnalyze a mathematical claim or proof informally or semiformally from its labelled local context. Use to explain a proof step, expose assumptions, test an example, find a gap, or write informal interlinear metadata. Not for copyediting, literature extraction, or Lean/formal prover work.
More from aperep/my-ai-plugins
All 8 plugins →Knowledge
codexFind, capture, place, move, process, and maintain knowledge and repository agent charters.
7 skills
1
Math Writing
codexMathematical writing, LaTeX and Typst scaffolding, proofreading, plain English, authorial voice, and translation workflows.
6 skills
1
Bibliography
codexBibliography verification, Zotero library maintenance, MathSciNet retrieval, and personal bibliography maintenance.
4 skills
1
Meta
codexProject documentation, repository maintenance, and plugin feedback tests.
3 skills · hooks
1
Typst
codexWrite, migrate, template, and validate idiomatic Typst documents.
1 skill
1
Similar plugins
caveman
claudeTalk like caveman. Cut filler. Keep technical details explicit.
22 skills · 1 command · 3 agents · hooks
JuliusBrussee/caveman 119,462
claude-mem
claudecodexPersistent memory for Claude Code: the next session starts where the last one left off.
29 skills · 1 MCP server · hooks
thedotmack/claude-mem 116,618
Taste Skill
claudecodextasteskill 2.5.1: professional company websites at the figma.com and x.ai level, with one section per screen, real photographs, real product UI, effects kept for tech and gaming pages, and a real-browser checker and finish gate.
1 skill
Leonxlnx/taste-skill 114,391
career-ops
claudecodexOpen-source AI job search that runs locally in your AI coding CLI: scan job portals, evaluate listings into a structured A-H report with a 1-5 score, tailor your CV, track applications
5 skills · hooks
career-ops-hq/career-ops 82,253
mem0
claudecodexCross-session memory and token savings for coding agents.
6 skills · 1 agent · 1 MCP server · hooks
mem0ai/mem0 68,893
pake
claudecodexPackage any website or local web build into a lightweight desktop app with Pake CLI.
1 skill
tw93/Pake 63,463
Maintain Research?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.
claude & codex plugins8 plugins