-
hooo
带有指数的命题逻辑
-
wa
主要针对 Rio 终端的多平台窗口助手
-
ask-sh
一个具有上下文感知和多轮能力的 AI 命令行助手
-
allms
一个用于控制所有 aLLMs 的库
-
poi
一个实用的无点定理证明器助手
-
quickgc
带有 git 提交注释的个人工作流程样式
-
llmvm-codeassist
一个由 LLM 驱动的代码助手，可以从语言服务器协议服务器自动检索上下文（即类型定义）。
-
rust-assistant
Rust 辅助程序库
-
ai-sh
一个具有上下文感知和多轮能力的 AI 命令行助手
-
openai-safe
OpenAI 的 Rust 框架
-
metamath-rs
操作 Metamath 数据库，包括 Metamath 数据库的并行和增量验证器
-
mm0_util
MM0/MM1 语言工具
-
parrot_rs
Parrot 是你的个人助手
-
caso
交换图范畴理论求解器
-
mm0b_parser
Metamath Zero 的 MMB 二进制格式的解析工具
-
snafu-upgrade-assistant
在 semver 不兼容版本之间升级 SNAFU
-
shai
壳 AI 助手
-
rust_task
用 rust 编写的 CLI 助手
-
homeassistant
连接到 Home Assistant API
-
git-assist
一系列友好的 assistive git 命令
-
assistant
协助 AI 编写代码
-
cargo-leet
帮助在本地处理 leetcode 问题的程序
-
homelander
Google Home 集成框架
-
clippit
使 cargo clippy 声音像 Office 2003 的 Clippit 助手（又名 Clippy）
-
maa_types
Maa 的类型
-
prtd
Parrot 是你的个人助手
-
assistant_common
助手程序通用工具
-
parrot_core
Parrot 是你的个人助手
-
blog_editor
您的个人助手，用于创建结构良好的博客文章
-
english_assistant
英语助手的 CLI 工具
-
termgpt
一个用于交互 ChatGPT 的 CLI 工具
-
lili
开发者用的 AI 助手
-
qbar
理性证明助手
-
lilicore
Lili（开发者 AI 助手）的核心库
尝试使用 DuckDuckGo 搜索。