LucianoXu

2 repositories with Claude Code or Codex plugins.

claude-lean4-lsp4
Lean 4 language server plugin for Claude Code — diagnostics, hover, go-to-definition, and completions for .lean files
1 plugin · LucianoXu/claude-lean4-lsp
yingte-vault0
Claude Code plugin: OpenReview integration — log in once, then fetch any paper's full peer-review record (reviews, scores, rebuttals, discussion, decision) as threaded markdown.
1 plugin · LucianoXu/OpenReviewPlugin