飞书卡片负责每日推送,HTML 归档负责深读、检索、回看和运行审计。页面为纯静态文件,可直接发送或发布到任意静态目录。
AlphaProof Nexus:用形式化验证驱动AI数学证明搜索
crdcamp/llama-cpp-llm-embedding:使用llama.cpp嵌入本地LLM的代码