AgentIndex icon
AgentIndex
工具分类热门最新对比
提交工具
首页/
Security & Safety/
tardygrada
tardygrada logo

tardygrada

活跃·★ 16·MIT·更新于 2026-05-05
★ 时下流行★ 安全与合规★ 大模型基础设施

Tardygrada是一种编程语言，通过操作系统内核、SHA-256哈希、ed25519签名和BFT共识确保每个值的完整性和来源可验证，从而防止篡改。

Tardygrada是一种编程语言，编译为MCP服务器，每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识（Coq证明）保证完整性，通过签名保证来源，并记录完整审计追踪。但它不保证真实性，只确保值未被篡改，即使在代理间100次交接后也能提供100%的证明。

#agent-framework#AI 智能体
© 2026 AgentIndex.app|由十年 iOS 开发者构建。
QYSGitHub请作者喝咖啡 ☕

按分类浏览

代码助手工作流自动化RAG / 知识库多智能体浏览器自动化大模型基础设施开发者工具可观测性

与 Anthropic, OpenAI 或 Microsoft 无关。

#ai-safety
#byzantine-fault-tolerance
#c
#coq
#cryptography
#ed25519
$ 安装
$ git clone https://github.com/fabio-rovai/tardygrada && cd tardygrada && make
↗ 访问官网★ GitHub
01

功能特性

01通过操作系统内核（mprotect）和密码学（SHA-256, ed25519）保证完整性
02通过签名元数据追踪来源（谁、何时）
03每个操作的完整审计日志
04多种不可变级别（let, @verified, @hardened, @sovereign）
05编译为MCP服务器，与代理框架集成
02

兼容性

Linux
Linux（原生）
已通过文档验证
03

快速开始

1
$ git clone https://github.com/fabio-rovai/tardygrada
2
$ cd tardygrada
3
$ make
04

使用场景

↳保护多代理系统中代理间传递数据的完整性
↳需要防篡改证据的高置信度领域，如医疗诊断
↳为现有代理框架（CrewAI、LlamaIndex、MiroFish）添加完整性证明
05

同类工具

awesome-n8n-templates logo
awesome-n8n-templates★ 22.6k
该仓库收集了来自互联网的n8n自动化模板，旨在简化各类任务和工作流程的自动化。
vs →
FastMCP logo
FastMCP★ 25.4k
FastMCP 简化了模型上下文协议（MCP）应用程序的构建，以清晰、Pythonic的代码为AI代理连接工具和数据提供了标准化方法。
vs →
llama-cpp-agent logo
llama-cpp-agent★ 635
专为 llama.cpp 模型设计的 LLM 交互框架，支持结构化函数调用和结构化输出。

相关搜索

tardygrada 替代工具最佳 Security & Safety 工具 2026开源 Security & Safetytardygrada 教程tardygrada 对比agent-frameworkai-agentsai-safety

评论

登录后发表评论
  • Q
    Quinn White2026年5月11日

    Trust infrastructure for AI agents — provenance, timestamp, and integrity verification.

  • Kendall Lee
    Kendall Lee2026年5月7日

    Works as a trust layer that other agent frameworks can build on.

  • E
    Ellis Johnson2026年4月11日

    Good for systems where knowing who produced a value and when is a requirement.

  • O
    Oakley Rivera2026年3月25日

    Provenance tracking builds audit trails for AI-generated outputs.

本页内容
01功能特性02兼容性03快速开始04使用场景05同类工具
统计
GitHub Stars★ 16
最后更新3周前
vs →
agents-best-practices logo
agents-best-practices★ 1.1k
面向 Codex 与 Claude Code 的中立 Agent 技巧库，涵盖 Agentic 运行时框架设计最佳实践
vs →
holaOS logo
holaOS★ 5.4k
holaOS 是一个专为智能体设计的环境，旨在实现长期工作、持续性和自我演化。
vs →
fast-agent logo
fast-agent★ 3.8k
fast-agent 允许您在几分钟内创建和交互复杂的复合多模态智能体和工作流。
vs →
awesome-claude logo
awesome-claude★ 250
HeyClaude 是一个人工审核、基于文件的 Claude 工作流基础设施目录，包含 388 多个条目。
vs →
initrunner logo
initrunner★ 38
InitRunner 是一个开源框架，允许你通过单个 YAML 文件从原型到生产全过程地定义、交互、运行和部署 AI 代理。
vs →
查看全部替代品 →
状态活跃
许可证MIT
分类安全与合规
热度趋势 (30d)
+0.6↑ 0.7%
链接
文档↗讨论↗问题↗版本↗

Deploy on DigitalOcean — Get $200 Free Credit

Ad