RepoProver是一个用于大规模数学教材形式化的多智能体框架，基于Lean定理证明器。它通过协调多个LLM智能体（包括翻译定义定理的草稿者、完成证明的证明者和审核质量的评审者）来协作处理共享的Git仓库，实现数学教材的自动形式化。
unblob是一个精准、快速、易用的二进制容器文件提取套件，支持78+种存档、压缩和文件系统格式（如SquashFS、ZIP、ext等）。它能递归提取嵌套容器、精确检测数据块、进行熵分析，并生成JSON元数据报告，是固件分析和逆向工程的理想工具。
这是一个bub插件，提供基于Web的机器人眼睛UI演示。通过aiohttp提供Web界面，支持显示机器人面部表情、控制瞳孔位置和眼睛开合度。主要适用于演示和展示场景，具有活动检测和自动切换到时钟屏保功能。
该仓库提供经实战测试的Claude Code技能，专门用于审计、加固和清理AI生成的代码库，确保代码质量与生产就绪性。主要功能包括自动化代码审计与系统性修复，不改变业务逻辑，仅增强代码的健壮性与安全性。
该仓库收集了大量开发者个人网站的链接，旨在为其他开发者创建自己的作品集页面提供灵感参考。包含1604个不同开发者的作品集示例，可按字母顺序浏览。
女娲.skill是一个AI工具，能够通过名称自动调研、提炼并生成指定人物（如乔布斯、马斯克等）的思维模式与决策逻辑，提供针对性建议。它旨在让用户借鉴顶级人物的心智模型解决实际问题。
这是一个AI驱动的互联网电台项目，通过AI生成DJ脚本并使用语音合成播报，实现24/7自动化音乐和节目编排。用户可以创建个性化电台，包括自定义音乐、语音和电台风格。
MindsDB Anton是一个基于AI的业务智能助手，能够理解自然语言问题，自动从多源获取和整合数据，执行分析、生成洞察、创建可视化仪表板，并提供后续行动建议，实现全天候自动化数据分析。
这是一个关于Codex CLI最佳实践的GitHub仓库，专注于展示和分享使用OpenAI Codex命令行工具的最佳实践方法。包含示例命令、子代理配置、工作流程编排等技术细节，帮助开发者更好地使用Codex CLI进行AI编程和自动化任务。
traceAI是一个基于OpenTelemetry构建的开源AI应用追踪框架，旨在为LLM调用、提示、令牌计数、检索步骤和智能体决策提供全链路可观测性，支持多种语言并可对接主流监控后端。
Axon是一个基于知识图谱的代码智能引擎。它可将任何代码库索引为结构化知识图谱，包含依赖、调用链、集群和执行流等信息。可通过交互式Web仪表盘可视化探索，或通过MCP工具提供给AI智能体进行深层结构理解。
RetainPDF是一个保留原始排版的PDF翻译工具，专门处理外文学术文献和文档。它支持上传PDF文件并输出保留格式的中文译文，提供PDF、Markdown和ZIP等多种输出格式。特色包括支持图片型PDF（扫描件）翻译、网页界面操作，并可自主部署使用。
TimesFM是Google Research开发的预训练时间序列基础模型，专注于时间序列预测任务。该模型支持长序列上下文、分位数预测和协变量处理，适用于各种时序预测场景。
Fossier是一个用于防止GitHub开源仓库收到垃圾PR（如AI生成、SEO链接注入）的工具。它通过GitHub Action自动评估PR作者信誉度，为已知贡献者自动放行，对陌生贡献者使用多信号评分算法检测垃圾概率。维护者还可使用CLI工具进行调试和管理信任列表。
PolyStudio是一个对话式多模态内容创作平台，结合AI模型与专业工具（生图、视频、3D、音频等），通过自然语言对话即可生成和管理多媒体内容。提供无限画板承载内容，支持流式输出、项目管理和技能扩展。
