# Algebraize

> Normalize ad-hoc, surface-level, implementation-local commenting/documentation into algebraic, invariant-explicit, proof-oriented form. Keep it model-level, stable under renaming and transplantation.

- Skill: `corygabrielsen/algebraize` (Agent Skill)
- Install (CLI): `npx skillmds@latest add corygabrielsen/algebraize`
- Raw SKILL.md: https://api.skillmd.com/api/skills/corygabrielsen/algebraize/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- Author: corygabrielsen (https://skillmd.com/u/corygabrielsen)
- Updated: 2026-09-22
- Page: https://skillmd.com/skills/corygabrielsen/algebraize

---


# /algebraize

Look for ad-hoc | procedural | surface-level | implementation-local | non-compositional | etc. commenting/documentation and normalize it into algebraic | invariant-explicit | proof-oriented form,

while keeping the commenting/documentation model-level rather than repo-local, so that it is stable under renaming, transplantation, and reuse in a different codebase.