一款结合LLM与静态分析的神经符号框架，用于检测代码中的安全漏洞。

支持多种CWE漏洞类别，如路径遍历、命令注入等；使用LLM生成源和汇点规范，过滤误报；提供丰富的环境搭建选项，支持Linux、Docker及其他系统

IRIS | #框架
框架
pydcmview：基于终端的医学图像查看器，支持DICOM、NRRD和Nifti格式，提供高质量图形渲染。| #工具

质量渲染，支持Sixel和Kitty图形协议；2D切片浏览，可逐层查看多维图像；丰富的交互功能，如WASD滚动、十字线模式、窗宽/窗位调整
工具
Agent Factory：用自然语言描述工作流，Agent帮你生成Python代码

从自然语言直接生成可运行的Agent代码；自动生成评估用例和JSON配置，支持自动化测试；支持多轮对话构建Agent，交互式开发更高效
awesome-direct-preference-optimization：DPO研究的宝库，为语言模型优化提供系统性框架。

提供4个维度的详细分类，涵盖数据策略、学习框架等；包含多种数据质量、反馈方式和优化方法；汇集众多前沿论文，助力研究者快速上手
Machine Learning Visualized：用Jupyter Notebook和Marimo实现机器学习算法的可视化与数学推导。

从第一性原理出发，实现算法的数学推导；提供交互式笔记本，直观展示权重对损失函数的影响；每个算法都有独立的GitHub仓库，方便学习和研究
CellVoyager：一个用于单细胞数据分析的AI驱动工具。它能解决单细胞数据复杂分析难题，帮助研究人员快速生成分析报告。

支持OpenAI模型，无缝对接先进AI能力；自动生成Jupyter Notebook，实时更新分析结果；提供CellBench基准测试，助力模型评估
Postcard：用个人网站和新闻列表取代社交媒体的开源项目。

自动生成专业元标签和OpenGraph图像，分享到社交平台更美观；支持Docker部署，轻松运行在个人服务器上；提供多用户模式，可创建多个个人网站
一站式多模态研究与播客生成工具。它能根据输入的研究主题和可选的YouTube视频链接，自动生成研究报告和播客。

集成YouTube视频分析和谷歌搜索，获取丰富信息；生成自然对话式播客，支持多角色语音；输出包含引用的研究报告和音频文件

multi-modal-researcher | #工具
工具
OpenMusic：前沿的文本到音乐生成项目，让音乐创作变得轻而易举。| #音乐

零样本长音乐生成，无需额外训练即可创作无限时长音乐；支持多种训练策略，满足不同需求；提供详细的训练和推理教程，新手也能快速上手
音乐
Spegel：用AI将网页转换为终端优化的Markdown，让你在终端中畅享阅读。

自动将网页重写为适合终端查看的格式；支持自定义配置文件，可调整视图和提示；简洁的命令行界面，快速浏览网页
Before
After
Back to Top