alok
3 repositories with Claude Code or Codex plugins.
- vericoding-skill1
Agent skill for vericoding: code plus a machine-checked proof against a frozen spec (Lean 4 first), with a gate that rejects cheating proofs.
1 plugin · alok/vericoding-skill
- tax-avoidance-skill0
Normie-focused Codex and Claude Cowork tax copilot for simple U.S. federal returns.
1 plugin · alok/tax-avoidance-skill
- galaxy-brain0
A Claude skill that climbs the expanding-brain ladder of reframes, then makes every rung pay rent. Designed by running itself on itself.
1 plugin · alok/galaxy-brain