Open Source · Developer Tools
Contributing fixes and features to the tools I use.
- night-slayer18/leetcode-cli #27 — Fixed incompatible GraphQL queries on LeetCode China, restoring submission history, code downloads, and comparisons with local solutions.
- semantica-agi/semantica #1349 — Turned Explorer's read-only Markdown viewer into an editor for live graph nodes and agent memories, with validation and conflict detection to prevent invalid or stale writes.
- proma-ai/Proma #1534 — Fixed persistent tool failures after MCP sessions expired by reconnecting and retrying once, so users no longer need to restart the app to recover.
- proma-ai/Proma #583 — Corrected a typo in the PDF strategy documentation so the description accurately states what is supported.
- TuYv/CodePlanGUI #32 — Added a unified tool execution engine with file-change review and per-turn progress, making agent operations easier to inspect and control.
Merged PRs — 20 across 6 repositories
- TuYv/CodePlanGUI — 14 PRs
- proma-ai/Proma — 2 PRs
- LiuMengxuan04/MiniCode — 1 PR
- genni613/crown-competition — 1 PR
- night-slayer18/leetcode-cli — 1 PR
- semantica-agi/semantica — 1 PR
Public PRs · Includes own repositories · Updated 2026-09-10
HTMLive — A browser bookmarklet for visually editing existing HTML pages, making precise changes to text, styles, and layout, then exporting the result as a standalone HTML file.

