lvexplore

lvexplore 使用說明

兩種用法:在瀏覽器裡看你的 VI,或讓你的 AI agent 來讀。兩種都需要帳號(邀請制)。

申請使用 登入

從這裡開始

  1. 提出申請。核准後你會收到一次性連結:用它設定密碼,然後登入。
  2. 用瀏覽器:到檔案頁上傳 VI(或打開範例專案),點它就能看前面板與方塊圖。
  3. 用 agent:到帳號頁建立 key,把服務加進你的 agent(見下方),然後問它關於你的 VI 的問題。

在瀏覽器裡

  • 檔案頁收單一檔案(.vi、.ctl、.vim、.llb …)。帶資料夾結構的專案請由 agent 以 .zip 上傳,上傳後也會出現在檔案頁。
  • 點檔案就能打開:依檔案內容畫出的方塊圖與前面板,可以逐個 case 切換;專案會在左邊顯示項目樹。
  • 每次上傳是一個工作區,保留到你刪除為止;再上傳同一個專案或 VI 就是它的下一個版本。它的 id 就是 agent 讀同一批檔案時要用的。

比較版本

  • 改過之後再上傳一次專案:同名就是下一個版本。在檔案頁按「與 v1 比較」,列出邏輯改過、新增或刪除的每一支 VI。
  • 每支改過的 VI 都有文字報告(節點、連線、常數、case,以及配對的把握)和並排檢視:兩張方塊圖並排、每個差異圈出來。
  • 你的 agent 用 vi_diff_tree、vi_diff、vi_diff_view 做同樣的事,較新的那次上傳當 workspace_b。

連接你的 agent

MCP 網址 https://lvexplore.tailc2cd24.ts.net/mcp,加上 header Authorization: Bearer KEY(KEY 是你在帳號頁建立的)。同一把 key MCP 與 REST 都能用;每個 agent 或每台機器各建一把。

大多數 agent 會拒絕沒有被允許的工具,看起來就跟服務壞掉一模一樣:請允許這些唯讀工具 —— service_guide, workspace_list, workspace_files, kept_list, vi_summary, vi_content, vi_layout, vi_neighborhood, vi_structure, vi_types, project_overview, llb_members, vi_diff, vi_diff_view, vi_diff_tree, vi_callers, vi_picture.

Claude Code (已實測 2026-10-01 (claude -p))
claude mcp add --transport http lvexplore https://lvexplore.tailc2cd24.ts.net/mcp --header "Authorization: Bearer KEY"
  • 加入後請重開 session;`claude mcp list` 應顯示 Connected。
  • 每個工具第一次呼叫前它會詢問。無頭模式(`claude -p`)沒辦法詢問,所以每次呼叫都會被拒絕("you haven't granted it yet"),除非你加上 --allowedTools "mcp__lvexplore__service_guide mcp__lvexplore__workspace_list mcp__lvexplore__workspace_files mcp__lvexplore__kept_list mcp__lvexplore__vi_summary mcp__lvexplore__vi_content mcp__lvexplore__vi_layout mcp__lvexplore__vi_neighborhood mcp__lvexplore__vi_structure mcp__lvexplore__vi_types mcp__lvexplore__project_overview mcp__lvexplore__llb_members mcp__lvexplore__vi_diff mcp__lvexplore__vi_diff_view mcp__lvexplore__vi_diff_tree mcp__lvexplore__vi_callers mcp__lvexplore__vi_picture"
Codex CLI (已實測 2026-10-01 (0.159.2))
export LVEXPLORE_KEY=KEY
codex mcp add lvexplore --url https://lvexplore.tailc2cd24.ts.net/mcp --bearer-token-env-var LVEXPLORE_KEY
  • 唯讀工具不需要核准就會執行(它們標記為唯讀)。workspace_upload / workspace_delete 需要你核准;在 `codex exec -c approval_policy="never"` 下會被拒絕。
Gemini (Antigravity CLI, agy) (已實測 2026-10-01 (agy 1.2.14))
agy mcp add -H "Authorization: Bearer KEY" lvexplore https://lvexplore.tailc2cd24.ts.net/mcp
# then in ~/.gemini/antigravity-cli/settings.json, permissions.allow:
"mcp(lvexplore/service_guide)", "mcp(lvexplore/workspace_list)", "mcp(lvexplore/workspace_files)", "mcp(lvexplore/kept_list)", "mcp(lvexplore/vi_summary)", "mcp(lvexplore/vi_content)", "mcp(lvexplore/vi_layout)", "mcp(lvexplore/vi_neighborhood)", "mcp(lvexplore/vi_structure)", "mcp(lvexplore/vi_types)", "mcp(lvexplore/project_overview)", "mcp(lvexplore/llb_members)", "mcp(lvexplore/vi_diff)", "mcp(lvexplore/vi_diff_view)", "mcp(lvexplore/vi_diff_tree)", "mcp(lvexplore/vi_callers)", "mcp(lvexplore/vi_picture)"
  • 無頭模式(`agy --print`)會拒絕所有沒被允許的 MCP 呼叫,而且什麼都不印、exit code 仍是 0 —— 要看它的 log,不要看 exit code。不要用 --dangerously-skip-permissions:它連寫入工具也一併放行。
Cursor (照該客戶端的文件寫成,尚未對這個服務實測)
~/.cursor/mcp.json: {"mcpServers": {"lvexplore": {"url": "https://lvexplore.tailc2cd24.ts.net/mcp", "headers": {"Authorization": "Bearer KEY"}}}}
Gemini CLI (gemini) (照該客戶端的文件寫成,尚未對這個服務實測)
~/.gemini/settings.json: {"mcpServers": {"lvexplore": {"httpUrl": "https://lvexplore.tailc2cd24.ts.net/mcp", "headers": {"Authorization": "Bearer KEY"}}}}
  • 跟 agy 是不同的程式;旗標與設定檔都不一樣。
Claude Desktop (照該客戶端的文件寫成,尚未對這個服務實測)
claude_desktop_config.json: {"mcpServers": {"lvexplore": {"command": "npx", "args": ["mcp-remote", "https://lvexplore.tailc2cd24.ts.net/mcp", "--header", "Authorization: Bearer KEY"]}}}
  • 它的 Connectors 頁面要求 OAuth,本服務還沒有提供;改由 mcp-remote 橋接來帶 key。

可以問的問題

連上之後用自己的話問就好;agent 會先上傳、再讀取。例如:

  • 用 lvexplore:把我的專案資料夾壓成 zip 上傳,然後告訴我主程式 VI 在做什麼、它的狀態機有哪些狀態。
  • 在工作區 <workspace id> 讀 Main.vi,列出它呼叫的每個 subVI,以及進出的資料。
  • 在工作區 <workspace id> 中,哪些 VI 呼叫了 Config.vi?把每個呼叫端呼叫它的那個 case 給我看。
  • 我把專案上傳了兩次(工作區 <workspace id> 與較新的那一個):比較這兩次上傳 —— 哪些 VI 的邏輯改了(不看排版)?

不用 MCP(REST)

每個工具都有一個同參數、同回答的 HTTP 版本:給腳本用,或在 MCP 客戶端連不上時使用。完整的參考是 agent 讀的那份文字說明: /api/v1/guide.

curl -H 'Authorization: Bearer KEY' -F files=@project.zip https://lvexplore.tailc2cd24.ts.net/api/v1/workspaces

你的檔案

  • 上傳的檔案會一直保留到你自己刪除。每個帳號有容量額度與 30 天上傳額度;刪除檔案會釋出容量,但不會退回上傳額度。只有勾選「保留一份副本」(或回報問题時要求保留)才會留下改善解析器用的副本 —— 而勾選留下的副本,只有解析器在裡面碰到讀不出的東西時,才會在你刪除檔案後繼續保留。隨時可以在檔案頁撤回。
  • 讀取紀錄與問題回報保留的天數由你在「帳號」頁設定(最多 30 天)。在那裡刪除帳號會立刻登出、key 立刻失效;7 天後帳號裡的一切永久刪除。
  • 有密碼保護的 VI 只會讀出它是什麼 —— 絕不顯示面板或方塊圖。
  • 每次讀取會記錄解析器認不出的代碼(不含檔案裡的文字、也不含檔名),讓我們知道接下來該修什麼。