API同步
- 作者仓库星标 3,367
- 许可证 MIT
- 作者更新于 实时读取
- 作者仓库 atopile
- 领域
- 通用
- 兼容 Agent
-
- Claude Code
- Cursor
- Cline
- Codex
- Windsurf
- Gemini CLI
- +20
- 信任分
- 94 / 100 · 已通过审计
- 作者 / 版本 / 许可
- @atopile · MIT
- Token 消耗评级
- 低消耗
- 接入复杂程度
- 即装即用
- 是否需要外部 API Key
- 不需要
- 兼容的系统
- 未声明(默认跨平台)
- 底层运行要求
- Python
- 文件与系统权限
-
- 只读
- 允许写入 / 修改
- 网络行为
- 仅限本地
- 安装命令数
- 26 条
档案由构建时根据 SKILL.md 与安装命令自动衍生,可能与作者实际意图存在差异。
需要注意: 未限定 allowed-tools,默认拥有全部工具权限。
---
name: sexp
description: How the Zig S-expression engine and typed KiCad models work, how they are exposed to Python (pyz…
category: 通用
runtime: Python
---
# sexp 输出预览
## PART A: 任务判断
- 适用问题:通用任务拆解、检查和交付。
- 输入要求:目标材料、限制条件、期望输出和验收方式。
- 证据边界:围绕“Quick Start / Relevant Files / Dependants (Call Sites)”读取原文规则,不把推断写成作者承诺。
## PART B: 执行结果
- **01** 任务判断:确认你的需求是否属于通用任务拆解、检查和交付,并标出输入、限制和预期结果。
- **02** 执行计划:优先按“Quick Start / Relevant Files / Dependants (Call Sites)”拆成步骤,说明每一步会读取什么、修改什么、产出什么。
- **03** 交付结果:给出可复制的命令、文件改动、检查清单或内容草稿,并说明如何继续迭代。
- **04** 风险边界:结合 读取文件、写入/修改文件、主要在本地完成、通常不需要额外 API Key 给出执行前确认项。
## Running Rules
- 读取文件、写入/修改文件;主要在本地完成;通常不需要额外 API Key。
- 先小样例验证,再放大到真实任务。
- 交付时同时给结果、检查口径和下一步迭代建议。 先确认触发方式
原文没有稳定的斜杠命令要求。安装验证后通常全局生效,直接在对话里点名这个 Skill 并描述任务即可。
给清楚输入和边界
告诉 Agent 目标文件或材料、期望结果、不可改范围、是否允许联网或执行命令。本 Skill 的权限画像是:读取文件、写入/修改文件。
小样例验证后再放大
先用一个小任务确认它会围绕“Quick Start / Relevant Files / Dependants (Call Sites)”工作;涉及文件或命令时,先看 diff、日志、预览或测试结果。
复核后再交付
检查最终产物是否包含明确结果、必要证据和下一步动作;如果输出泛泛而谈,就补充输入、边界和验收标准后重跑。
---
name: sexp
description: How the Zig S-expression engine and typed KiCad models work, how they are exposed to Python (pyz…
category: 通用
source: atopile/atopile
---
# sexp
## 什么时候使用
- 把通用方向的常用动作沉淀成 Agent 可调用的技能 适合处理通用任务拆解、检查、交付和复盘,核心价值是把输入、判断、执行、验证和交付边界固定下来,避免 Agent 泛泛回答。 把任务拆成可执行、可检查、可继续迭代的步骤;通常不需要额外…
- 面向通用任务拆解、检查和交付,优先处理能明确输入、步骤和验收标准的工作。
## 需要提供什么
- 目标材料、目录范围、期望结果和不可改动内容。
- 是否允许联网、执行命令、读写文件或调用外部服务。
## 执行规则
- 围绕「Quick Start / Relevant Files / Dependants (Call Sites)」组织步骤,不把推断写成作者事实。
- 读取文件、写入/修改文件;主要在本地完成;通常不需要额外 API Key。
- 先跑小样例,确认结果可检查后再扩大任务范围。
## 输出要求
- 给出最终产物、关键证据、验证方式和下一步动作。
- 信息不足时标记 unknown,不编造命令、平台或依赖。 证据边界与执行链路
作者原文负责流程事实;仓库文件负责来源和命令;流狐只补充适用场景、限制和质量判断。
skill "sexp" {
输入层 -> 用户目标 + 目标文件 + 禁止范围 + 验收标准
上下文层 -> Quick Start / Relevant Files / Dependants (Call Sites)
规则层 -> SKILL.md 触发条件 / 执行顺序 / 输出格式
运行层 -> Python | 读取文件、写入/修改文件 | 主要在本地完成
安全层 -> 通常不需要额外 API Key + 小任务验证 + diff / 日志复核
输出层 -> 可复制结果 + 检查清单 + 下一步迭代
} Sexp Module
The sexp subsystem provides:
- a fast S-expression tokenizer/parser/pretty-printer in Zig, and
- typed Zig models for KiCad formats (PCB, footprint, netlist, symbol, schematic, fp_lib_table),
exposed to Python via the
pyzig_sexpextension module.
Source-of-truth docs and code:
src/faebryk/core/zig/README.md(high-level overview)src/faebryk/core/zig/src/sexp/*(tokenizer/AST/structure)src/faebryk/core/zig/src/python/sexp/sexp_py.zig(Python API + critical memory rules)
Quick Start
from pathlib import Path
from faebryk.libs.kicad.fileformats import kicad
pcb = kicad.loads(kicad.pcb.PcbFile, Path("board.kicad_pcb"))
_text = kicad.dumps(pcb)
Relevant Files
- Zig core:
src/faebryk/core/zig/src/sexp/tokenizer.zig(tokenization + line/column tracking)src/faebryk/core/zig/src/sexp/ast.zig(SExp tree + KiCad pretty formatting)src/faebryk/core/zig/src/sexp/structure.zig(decode/encode + error context)src/faebryk/core/zig/src/sexp/kicad/*(typed KiCad models)
- Python extension entrypoint:
src/faebryk/core/zig/src/python/sexp/init.zig(exportsPyInit_pyzig_sexp)src/faebryk/core/zig/src/python/sexp/sexp_py.zig(module + type binding generation)
- Generated Python stubs (what users “see”):
src/faebryk/core/zig/gen/sexp/*.pyi
- Convenience wrapper used throughout the codebase:
src/faebryk/libs/kicad/fileformats.py(namespaces modules + caching +loads/dumps)
Dependants (Call Sites)
src/faebryk/libs/kicad/fileformats.py(primary integration layer)- KiCad exporters and layout sync:
src/faebryk/exporters/pcb/kicad/*src/faebryk/exporters/pcb/layout/layout_sync.py
- KiCad plugin workflow:
src/atopile/kicad_plugin/*
How to Work With / Develop / Test
Core Concepts
- Two-level model:
- raw
SExpparsing/formatting (tokenizer.zig,ast.zig) - typed KiCad decoding/encoding (
structure.zig+sexp/kicad/*.zig)
- raw
- Python API shape: the extension exposes per-format modules (e.g.
pcb,netlist) with:- module-level
loads(data: str) -> File - module-level
dumps(file: File) -> str File.free(...)for releasing Zig-owned allocations
- module-level
- Convenience wrapper:
faebryk.libs.kicad.fileformats.kicadwraps these modules and provideskicad.loads(...)/kicad.dumps(...).
Development Workflow
- Modify Zig:
- parsing/formatting:
src/faebryk/core/zig/src/sexp/* - Python exposure:
src/faebryk/core/zig/src/python/sexp/sexp_py.zig
- parsing/formatting:
- Rebuild:
ato dev compile(importsfaebryk.core.zig)
- If you changed the API:
- verify stubs under
src/faebryk/core/zig/gen/sexp/*.pyiupdate accordingly - adjust
src/faebryk/libs/kicad/fileformats.pyif needed
- verify stubs under
Testing
- Best practical test is round-trip:
- load a known
.kicad_pcb/.kicad_sch, dump it, and ensure KiCad accepts it (formatting-sensitive).
- load a known
- Zig unit tests (where present):
zig test src/faebryk/core/zig/src/sexp/ast.zigzig test src/faebryk/core/zig/src/sexp/structure.zig
Best Practices
- Prefer
faebryk.libs.kicad.fileformats.kicadunless you explicitly need the raw module API. - Be mindful of shared-object caching in
kicad.loads(...): path-based loads are cached and returned by reference (mutations are shared).
Memory & Lifetime Invariants (critical)
The Python bindings duplicate the input S-expression string into a persistent allocator because parsed structs contain pointers into the input buffer.
Implications:
- Repeated
loads(...)of large files can grow memory if you never callfree(...)on the returned*File. - The convenience wrapper currently caches loaded objects by path; do not
free(...)cached objects unless you also invalidate the cache.
先判断是否适合
作者设计意图
作者的方法与取舍
边界和复核