lean-forge

Update superseded-by link from lean-refine to lean-agent

chore: mark repo as superseded by lean-refine

docs: add cross-language patterns for Go and Rust

feat: add Claude Code plugin packaging

feat: add lean formalization mode and CLI tooling