Deed

未认领

作者：deed-lang

The Deed programming language. Built for code that agents write and humans review.

programming-languagelanguagecapability-based-securitycompilerdesign-by-contracteffect-systeminterpreterrefinement-typesrusttype-checker

安装

$cargo install deed-lang

设置此服务器

此服务器需要专门配置。目前没有可复用的公开启动命令，请遵循项目说明。

更多Security服务器

未认领列表

此列表根据公开信息自动生成。认领后，你可以编辑页面、设置兼容性并解锁增长工具。全程不超两分钟。

安全概况

已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。安全概况的工作原理

比较相同配置的完整检查。只列出工具，未调用工具。此处不测量输入结构的变化。

尚无完整工具检查。