搜索结果：sec（7 个）

按分类缩小范围

综合 77

结合 Claude 与 Obsidian 的第二大脑，自动整理并构建知识图谱。

Python 16,367 1,607 2026-10-25

效率与办公工具 AI 模型与开发框架 AI 应用与 AI Agent 部署：待检测

综合 70

支持自托管的个人 AI 第二大脑，可从网络或本地文档检索问答，构建 Agent 与自动化任务。

Python 38,112 2,544 2026-08-02

AI 应用与 AI Agent AI 模型与开发框架效率与办公工具部署：待检测

综合 58

Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。

Haskell 1,633 506 2026-11-12

开发者工具数据分析与数据处理效率与办公工具部署：待检测

综合 53

面向 AI Agent 的独立审计工具，可人工或自主运行以核验执行是否符合预期。

Python 45,033 0

AI 应用与 AI Agent 效率与办公工具部署：待检测

综合 53

zio-json 是专为 Scala 生态打造的高性能、安全型 JSON 库，与 ZIO 紧密集成。它解决了传统 JSON 库编译慢、抵御恶意载荷能力弱的问题，提供极快编解码速度、安全防护、清晰的报错信息与轻量设计，且跨平台支持 Scala.js 和 Scala Native。

Scala 429 164 2026-11-11

效率与办公工具安全与隐私工具自动化与工作流部署：待检测

综合 52

重塑传统看板形态的现代化 Kanban 看板工具。

Ruby 8,293 1,205 2026-11-11

效率与办公工具网络与基础设施部署：中等

综合 51

〔中文简介暂未生成〕 Main source code repository of the Tamarin prover for security protocol verification.

Haskell 561 170 2026-11-09

安全与隐私工具数据分析与数据处理效率与办公工具部署：待检测