Aletheore
活跃·★ 241·NOASSERTION·更新于 2026-10-13
★ 时下流行★ 宝藏工具
Aletheore是一个基于证据的仓库智能工具,它确定性地扫描代码库以生成结构化证据。这些证据作为所有下游功能(包括AI审计、PR评审和各种开发仪表盘)的可验证基础,确保所有声明都可追溯且准确。
#代码智能#仓库分析#静态分析#代码审计#PR评审#漏洞扫描#开发者工具#多语言支持
01
功能特性
01确定性代码扫描:扫描多种语言(Python、JS/TS、Go、Rust、Java、Kotlin、Ruby、PHP、C、C++、C#、Swift),识别依赖项、敏感信息、漏洞和API端点。
02基于证据的审计报告:生成完整的Markdown报告,精确引用证据字段,支持多种LLM提供商或完全脱离LLM运行。
03多代码库协议(MCP)服务器:提供30多种工具,使编码代理能够直接查询仓库结构、依赖关系、所有权等。
04本地Web仪表盘:提供实时的本地用户界面,展示依赖图、集群图和扫描历史的趋势图。
05GitHub Action集成:自动化PR评审,发现新旧秘密、依赖漏洞和层约定违规,并将反馈作为评论和注释发布。
02
兼容性
Python
运行时
已通过文档验证
JavaScript/JSX
语言
已通过文档验证
TypeScript/TSX
语言
已通过文档验证
Go
语言
已通过文档验证
Rust
语言
已通过文档验证
Java
语言
已通过文档验证
03
快速开始
1
$ pipx install aletheore
04
使用场景
↳确保可验证的AI生成内容:保证AI在审计、PR评审或文档中撰写的声明都基于可验证的代码证据。
↳CI/CD中的自动化安全和漏洞扫描:将快速、确定性的扫描集成到CI/CD流程中,及早发现敏感信息、漏洞和依赖问题。
↳提升开发者生产力:提供本地优先的工具,用于详细的仓库分析、目标查询和代码洞察可视化,无需外部账户或网络访问。
↳自动化拉取请求质量和合规性检查:自动审查PR中影响安全性、架构和合规性的更改,并提供即时、有证据支持的反馈。
↳生成动态架构图和API文档:直接从源代码创建始终保持更新的架构图和符号级描述,并由证据驱动。
05
同类工具
评论
登录后发表评论
暂无评论,来发表第一条吧