KALYPSO

KALYPSO14B 開源程式設計模型, 資料全公開

KALYPSO-v1.1L 是 GenomaLabs-com 在 Hugging Face 釋出的開源 14B 程式設計模型, 基於 Qwen2.5-Coder-14B, 在 18,049 條 agentic 與編碼示例上微調, 並公開權重、完整資料集與去汙染流程, 強調可審查、可復現。

free
開源程式設計模型KALYPSO程式碼生成Agentic編碼Qwen2.5-Coder大語言模型資料去汙染開源權重Hugging Face程式設計輔助
收錄日期
4.1 (0 評價數量)

登錄后可為項目評分

KALYPSO-v1.1L 是最近出現在 Hugging Face 上的一個開源程式設計模型, 引數規模 14B, 基座是 Qwen2.5-Coder-14B。相比很多隻丟一個權重檔案就完事的專案, 這次釋出顯得有點不一樣: 模型權重、訓練用的完整資料集、以及去汙染流程全部公開, 用釋出者的話說就是 "inspect everything"

這類做法在開源模型裡不算常見。多數開源專案會給出架構和訓練細節, 但很少把訓練資料原樣放出來, 更別說資料處理管線。KALYPSO 的釋出者顯然想走另一條路: 接受外界從頭到尾的審查。

基於 Qwen2.5-Coder 的 14B 模型

根據專案描述, KALYPSO-v1.1L 在 Qwen2.5-Coder-14B 的基礎上繼續訓練, 使用的資料集代號 Kraken, 包含 18,049 條 agentic 與編碼示例。這些資料經過了人工整理 (curated), 並且針對 HumanEval 和 MBPP 做了去汙染 (decontaminated) 處理。

這裡有幾個資訊值得留意。18,049 條資料在動輒上百萬條的預訓練語料面前不算大, 更像是針對特定能力的精調資料集。所謂 agentic, 指的是讓模型在複雜任務中呼叫工具、規劃步驟、執行程式碼這類行為; 這類資料往往比普通程式碼片段更難得, 也因此更有價值。

去汙染處理是針對一個老問題: 很多模型在訓練時混入了評測集, 導致 benchmark 分數虛高。公開自己的去汙染流程, 至少能讓研究者判斷這 18,049 條資料裡有沒有漏網之魚。

為什麼值得開發者關注

如果你做的是程式設計工具, 或者正在研究 agent 類應用, 那麼 KALYPSO 提供了一個可以完整追溯的樣本。你不僅知道它用了什麼基座, 還能看到它吃了哪些資料, 以及資料是怎麼被清洗的。這種透明度對復現實驗、排查模型行為, 甚至做二次微調都會有幫助。

  • 可檢查的完整資料集與處理管線
  • 基於成熟的 Qwen2.5-Coder 基座
  • 聚焦 agentic 與程式碼生成場景
  • 完全開源, 可自由下載使用

上手與侷限

對開發者來說, 上手路徑很直接: 到 Hugging Face 頁面找到 KALYPSO-v1.1L, 下載權重, 用熟悉的推理框架載入即可。不過, 14B 引數模型在本地跑需要一定的 GPU 視訊記憶體, 如果手頭資源有限, 可能需要考慮量化和遠端推理方案。

也要看到侷限性。官方目前給出的資訊比較濃縮, 沒有詳細的 benchmark 對比, 也沒有釋出技術報告。18K 條資料的規模決定了它更適合作為精調基座或者實驗對象, 而不是覆蓋所有程式碼場景的萬能模型。

KALYPSO 的價值不在於卷分數, 而在於把整個訓練過程攤開放在陽光下。

對於想深入理解程式設計模型資料工程的人來說, 這是一份不錯的參考。

優缺點

優點

  • 權重、資料集與處理管線全部公開
  • 基於成熟的 Qwen2.5-Coder-14B 基座
  • 訓練資料經過人工整理與去汙染
  • 聚焦 agentic 編碼,場景明確

缺點

  • 公開資訊較少,缺少詳細技術報告和基準測試
  • 訓練資料僅 18K 條,規模有限
  • 14B 模型本地部署需要較高視訊記憶體資源

常見問題

KALYPSO 是什麼?

KALYPSO-v1.1L 是一個開源 14B 程式設計模型,基於 Qwen2.5-Coder-14B 構建,在 18,049 條 agentic 與編碼示例上微調,模型和資料集都在 Hugging Face 上公開。

KALYPSO 免費嗎?

模型權重與完整資料集開放下載,可免費使用。具體許可協議以 Hugging Face 頁面說明為準。

KALYPSO 的訓練資料是怎麼處理的?

使用了代號 Kraken 的資料集,包含 18,049 條人工整理的 agentic 與編碼示例,並針對 HumanEval 和 MBPP 做了去汙染處理,流程也已公開。

KALYPSO 適合什麼場景?

適合需要可審查訓練資料的程式設計模型開發者,或研究 agentic coding 與程式碼生成的團隊,也可作為二次微調的基座。

如何在本地使用 KALYPSO?

從 Hugging Face 頁面下載模型權重,用相容的推理框架載入即可。14B 引數對視訊記憶體有一定要求,建議使用支援量化的環境以減少資源佔用。

探索更多

相似工具

Locofy

Locofy

Locofy 是一款設計轉程式碼的 AI 工具,定位在 Figma 與 Cursor、Claude 等編碼代理之間。它藉助設計感知模型與 LLM,將 Figma 和 Penpot 設計稿轉換成前端程式碼,支援 React、Next.js、Flutter 等技術棧,並可通過 CLI 或 IDE 整合使用,為開發者提供可靠的 UI 基礎。

Template Empire

Template Empire

Template Empire 提供生產級 Next.js 全棧模板和 UI 套件, 最大特色是每個版本都要經過 15 個 AI 模型(Claude、Codex、Gemini)交叉稽覈和 23/24 道質量門, 並附簽署版報告。全棧模板自帶認證、支付、後臺等模組, 支援 Docker, 一次性買斷無訂閱。

Polygram Coding Agent

Polygram Coding Agent

Polygram Coding Agent 是面向 IDE 的 AI 程式設計助手,通過多代理工作流和模型路由,在 VS Code、Cursor 中完成從產品規劃、介面設計到程式碼生成的全流程,官方定位為移動與 Web 應用構建器,適合快速原型的開發者和團隊。

Stellar AI

Stellar AI

Stellar AI 是一款面向遊戲開發者的 AI 指令碼生成器,專精 FiveM 的 QBCore/ESX 框架與 Roblox 平臺。它無需繁瑣提示詞,用日常英語描述需求即可生成帶 fxmanifest 的完整 Lua 指令碼,還能修復報錯程式碼。免費版即可體驗,付費訂閱從 £10/月起。

AuraIntel

AuraIntel 是一款實時 AI 編碼助手,以桌面覆蓋層形式執行,號稱在 Zoom/Teams/Discord 螢幕共享時不可見。它能捕捉問題、生成程式碼並自動輸入到游標處,瞄準程式設計面試場景。但官方技術細節與定價未公開,且其隱身設計引發學術誠信爭議。

Penling

Penling 是 agentic spec-driven workflow 工具, 讓團隊在共享工作區先共同定義規格, 再由 AI 生成程式碼併產出可評審的 PR。它把規格文件從個人 CLI 搬到團隊協作空間, 支援 Google/Microsoft/GitHub 登入, 提供 14 天免費試用。

開源專案

DeepSeek-Reasonix: 專為DeepSeek模型打造的終端AI編碼代理

DeepSeek-Reasonix是一個基於終端的AI編碼代理,專為DeepSeek模型優化,通過prefix-cache友好提示降低token成本。配置集中在單個reasonix.toml文件中,支持切換任意OpenAI兼容端點。插件層集成MCP伺服器和Extension Protocol v1,提供工具和資源。Go編寫,靜態單二進位,可交叉編譯至六平臺,也可通過npm和Home安裝。許可證MIT,官方宣稱倉庫有18803星(截至採集時)。

code-graph-rag: 基於知識圖譜和LLM的開源RAG系統

code-graph-rag 是一個開源 RAG 系統,利用知識圖譜和大語言模型(LLM)來導航複雜的多語言 monorepos。它支持自然語言查詢、深度代碼理解和跨龐大代碼庫的編輯,幫助開發者更高效地管理複雜項目。項目主要使用 Python 編寫,採用 MIT 許可證。截至採集時,該項目在 GitHub 上擁有 2333 個 star。

OpenMonoAgent.ai: 本地大模型驅動的終端編程代理

OpenMonoAgent.ai 是一個開源且永久免費的終端原生編程代理,由本地大語言模型驅動。它提供無限 token 使用,並完全在本地運行以確保隱私。面向開發者,單命令安裝,消除訂閱費用和數據洩露風險。項目主要語言為 C#,採用其他許可證。

小程序雷達:微信小程序生態AI技術雷達

小程序雷達是一個開源、AI驅動的微信小程序技術雷達,將框架、組件庫、工具和SDK轉化為可篩選、可對比的數據,提供雷達、對比、顧問、醫生和每周視圖。基於Next.js、TypeScript、Tailwind CSS和Drizzle ORM構建,收錄236個資源,採用GPL-3.0許可證。

lanhu-mcp: 開源MCP伺服器,提升需求分析效率

lanhu-mcp 是一個開源的模型上下文協議(MCP)伺服器,專為 AI 驅動的團隊協作而設計。它能夠自動解析需求文檔,生成前端和後端代碼,並提供設計資源的下載。該工具基於 Python 構建,官方宣稱可提高需求分析效率高達 200%,並能順暢地集成到現有的開發工作流中。對於加速原型製作和減少手動編碼工作量尤為有用。項目採用 MIT 許可證,在採集時擁有 1614 個 GitHub 星標。

Tabby: 自託管AI編程助手,GitHub Copilot的本地替代品

Tabby是一個開源的、自託管的AI編程助手,作為GitHub Copilot的本地部署替代品。它完全自包含,無需外部資料庫,提供OpenAPI接口,可在消費級GPU上運行,並支持RAG代碼補全和聊天功能。項目使用Rust語言開發,基於Apache 2.0許可證開源。