搜索结果：code（46 个）

为 JavaScript 提供静态类型检查功能，助力提升代码质量与开发效率。

面向 Claude Code 的全能 SEO 技能库，涵盖技术 SEO、E-E-A-T、结构化数据及反向链接等。

汇集各类开发技术文档的高效 API 离线与在线查阅工具。

专为学术研究优化的 LLM 交互工具，支持论文精读润色与代码分析，兼容多种大模型。

为 Laravel 提供静态代码分析，提升开发效率与代码质量。

面向 Claude Code、Cursor 等智能体的技能与插件库，含 410+ 技能与 120+ Agent 资源。

团队级 AI Agent 记忆中心，将对话、文档与代码沉淀为四类可复用的记忆资产。

Rust 编写的零依赖 CLI 代理，可将常见开发命令的 LLM Token 消耗降低 60-90%。

教 Agent 使用 Obsidian CLI 及 Markdown、Bases、JSON Canvas 的技能集。

一次编写多端适配的 Agent 技能库，支持 Claude Code、Cursor 等工具。

nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取，为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装（Flake），方便开发者用 Nix 管理并安装主流平台（Linux、Darwin）的插件。

Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。

现代 C# PDF 生成库，提供流畅 API 与组件化布局方案，代码清晰易读。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

Argonaut 是一个基于纯函数式编程理念的 Scala JSON 库。它主要解决 Scala 开发者在处理 JSON 时的解析、生成与数据映射需求。核心功能包括 JSON 数据的解析、格式化输出与操作，并提供便捷的编解码器（codecs），支持 JSON 与 Scala 原生数据类型之间的相互转换。

Nixfmt 是由官方团队维护的 Nix 语言代码格式化工具，基于 Haskell 开发。它致力于解决 Nix 代码排版不统一的问题，核心功能是严格按照官方标准自动规范并美化 Nix 代码。支持在 NixOS、VS Code 及 Neovim 等环境与编辑器中无缝集成使用。

基于文件的 AI 编程 Agent 持久化规划工具，支持长任务、会话恢复、上下文防衰退与 Markdown 计划管理。

专为 AI 应用打造的多框架流式 Markdown 渲染器，支持 Vue、React 等及数学公式渲染。

Git 源码镜像仓库。这是纯发布仓库，PR 可通过 GitGitGadget 转为补丁提交至邮件列表。

将技术书籍 PDF 转为 Claude Code 技能，方便在工作中随时学习、参考与调用。