KCrashLab
以模擬為優先的 Windows 驅動程式可靠性研究平台，用於執行確定且可重現的實驗。系統會標準化案例、續跑中斷的實驗、最小化保留精確簽章的觸發條件，並產生可供獨立驗證的證據包。
公開證據 Canonical Case IR、種子化排程、append-only SQLite journal、精確簽章、3/3 模擬重播、G3、E1、E2 與最小化紀錄、語意驗證，以及跨平台 CI。
個人作品集 | Niansia
Niansia
資訊工程 / 元智大學
系統可靠性與失效證據
用於重現低階系統失效，同時保留精確識別、來源資訊與可獨立檢查證據的研究基礎設施。
AI 安全與可靠發布
讓產品風險、模型變更與發布決策變得明確，並可由他人獨立檢查的系統。
儲存庫分析與代理治理
以可檢視證據、明確變更權限與可重現中間產物，讓自動化維持在有界任務內的系統。
AI Repo Gardener
面向 AI 編輯 Python 儲存庫的靜態分析工具與可攜式 Agent Skill。薄弱判斷僅供審查；刪除前必須具備經審閱、綁定雜湊的計畫與隔離驗證。
公開證據 匯入可達性、Git 時序、正規化 AST 證據、25 個對抗式安全情境、真實儲存庫冒煙測試，以及跨平台 CI。
PSG - Project State Graph
可安裝的執行環境、MCP 伺服器與可攜式 Agent Skill，為程式代理提供持久的任務、變更、審查與完成邊界。系統將驗證綁定目前工作樹、保存專案決策、阻擋未授權修改，並在確定性的 SHIPPABLE gate 結束審查。
公開證據 116 項測試、Windows、macOS 與 Linux 上的 Python 3.10 和 3.13 CI、7 個附校驗和的版本、確定性邊界與機制基準，以及公開研究評估計畫。歷史 agentic A/B 結果仍保留，但已明確標示為 superseded。
學術推理與研究工作流程
用於檢驗學術新穎性主張，並將尚未完成的研究進度整理為證據有界之指導會議的研究工具。
NoveltyAudit
以證據為優先的學術新穎性對抗審查 Agent Skill。系統在檢索前凍結主張、找出 Minimal Prior Sets、套用歷史時間截點、檢驗橋接證據，並記錄搜尋未能建立的部分。
公開證據 主張圖、跨供應者正規化紀錄、證據綁定先前研究集合、時間狀態、引文圖橋接、確定性報告不變量、三類公開案例研究，以及 82 筆審稿人標註案例的探索性測量。
Research Meeting Coach
以證據為基礎的 Agent Skill，將原始研究進度整理為可供導師決策的會議內容。系統區分觀察與解釋、延續尚未完成的請求，並在不虛構完成狀態的前提下提出一項導師可回答的決策。
公開證據 可攜式 Research Meeting State 驗證、來源與數值依據檢查、15 個行為與對抗式案例定義、8 個路由衝突案例、縱向留出結構，以及包含 6 個工作的跨平台 CI。
視覺證據與復原
用於保存微弱視覺訊號，並使不確定的復原決策可供檢查的電腦視覺工作。
ChromaRecover
以本機運算為核心的電腦視覺工具，用於還原由細微色彩差異承載的空間結構。系統比較多種假設、保留可稽核產物，並在證據不足時選擇不作判定。
公開證據 遮罩、疊圖、品質訊號、來源紀錄、不確定狀態與演算法說明。