DSH开源插件商店 DSH Store
/
标签主题词 (Topic)

# formal-methods

探索包含 formal-methods 主题特性的所有开源仓库、扩展插件与智能体组件。

浏览全部项目
全部项目 Agent 与会话 1083 其他 5565 学习研究 98 安全与治理 400 界面增强 1053 开发工具 2862 模型与 MCP 332 部署运维 235 文件与数据 1964 消息通讯 342 生活娱乐 245
排序
最新 最热 Stars
tokens-as-parameters

tokens-as-parameters

BruceLoveLee000

支持将Token作为可优化参数，在推理阶段无需更新模型权重即可让固定权重语言模型动态适配任务，实现推理时学习，有效降低模型微调成本与部署开销。

TypeScript 0 0
详情
jacobian

jacobian

morluto

一个通用且原子化的数学与工具库，将常用运算拆解为独立模块，智能体可像搭积木一样自由组合调用，轻松构建复杂计算流程，无需重复造轮子。

Python 55 9
详情