E2B
SDK / 工具让 AI agent 跑代码的开源安全沙箱——agent 应用事实上的执行层。
- sandbox
- code-execution
- sdk
- agents
Reverify
「模型提议、字节裁决」——二进制分析的反幻觉验证层，以 MCP server 形式供 Claude Code 调用。
Reverify 治的是真实存在的失败模式：LLM 会一本正经地编造二进制分析结论。它的确定性 Python 核心（PE/ELF/Mach-O 解析、x86/x64/ARM 反汇编、模拟执行）把模型的结构性断言对照真实字节逐条验证；可选引擎（capstone/unicorn/lief/Z3/angr）扩展覆盖面。在 19 个 Windows 系统文件基准上，作者报告 AI「教科书式回答」100% 错误、reverify 全部捕获且零误报。以 MCP server 形式供 Claude Code/Cursor 调用，另有 CLI。
代码仓库
2akouwu/reverify收录日期
地图上的相关资源
FastMCP
SDK / 工具Pythonic 的 MCP 服务器构建框架——装饰器、类型提示、零样板。
- framework
- python
- mcp
- type-driven
Claude Agent SDK
SDK / 工具Anthropic 官方 TypeScript SDK，用于构建代理式应用。
- official
- sdk
- typescript
- anthropic