tardygrada:Tardygrada是一种编程语言,编译为MCP服务器,每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识(Coq证明)保证完整性,通过签名保证来源,并记录完整审计追踪。但它不保证真实性,只确保值未被篡改,即使在代理间100次交接后也能提供100%的证明。;llama-cpp-agent:llama-cpp-agent 是一个用于与 llama.cpp 模型交互的 Python 框架,提供聊天、结构化函数调用和 JSON 格式输出的统一接口。即使模型未专门针对函数调用微调,框架也能正常工作。开发者可以定义工具和可调用函数,由智能体直接调用,适合构建无需云端依赖的本地 Agent 工作流。
保护多代理系统中代理间传递数据的完整性
基于开源 LLM 构建本地 Agent 流水线