Dev Skills
codexA small development workflow with Occam-driven solution design, requirements, implementation, debugging, verification, review, and authorized delivery.
7 skills
Plugin marketplace
My plugins to use with Claude Code
Add this marketplace
Then install any plugin below by name — each page has its exact command.
A small development workflow with Occam-driven solution design, requirements, implementation, debugging, verification, review, and authorized delivery.
7 skills
Find, capture, place, move, process, and maintain knowledge and repository agent charters.
7 skills
Mathematical writing, LaTeX and Typst scaffolding, proofreading, plain English, authorial voice, and translation workflows.
6 skills
Bibliography verification, Zotero library maintenance, MathSciNet retrieval, and personal bibliography maintenance.
4 skills
Project documentation, repository maintenance, and plugin feedback tests.
3 skills · hooks
Research reading, contextual reasoning, and opt-in Lean formalization.
4 skills
Write, migrate, template, and validate idiomatic Typst documents.
1 skill
Reserved package for possible Obsidian-specific technical skills.
Shows how many plugins this repo ships, and links here.