一键在 Manus 中运行任何 Skill

category-spec-subtrees

Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

在 Manus 中运行

概览

Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

安装命令

npx skills add https://github.com/dzackgarza/lattice-research --skill category-spec-subtrees

复制此命令并粘贴到 Claude Code 中以安装该技能

来源

dzackgarza/lattice-research

星标0

分支0

更新时间2026年5月16日 08:21

文件资源管理器

2 个文件

SKILL.md

readonly

name	category-spec-subtrees
description	Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Category Spec Subtrees

This skill is the canonical subtree-ownership guide for category_specs/.

Canonical source

The source of truth is this skill plus references/subtrees.md.

Read references/subtrees.md before editing a category-specific subtree, moving methods between subtrees, writing subtree-specific tests, or deciding whether a method belongs in generic Cat/Hom/End/Aut infrastructure or a specialized category.

Core policy

category_specs/AGENTS.md is the only subtree AGENTS entry point.
Lower nested AGENTS.md files were migrated here to avoid many always-loaded mini-manuals.
Load category-spec-style for spec/code compliance and category-spec-workflow for cards, status, plans, smoke triage, or delegation.
Use this skill for local ownership rules: which subtree owns which mathematical surface.

同仓库更多 Skills

同仓库

category-spec-workflow

dzackgarza/lattice-research

Use when handling category-spec workflow state: cards, plans, decisions, TODO triage, retired cards, visual windows, branch/PR routing, validation handoff, or status updates.

2026-05-200

research-state-machine

dzackgarza/lattice-research

Use when moving research work from plan to execution, deciding whether a card is atomic, routing implementation/self-check/adversarial audit, promoting or rejecting results, or claiming GOAL.md discharge.

2026-05-200

category-framework-design

dzackgarza/lattice-research

Use when designing or reviewing category refinement order, Sage category creation, Hom/End/Aut structures, autsets, WithGenerators/FinitelyPresented axioms, dual-object routing, or constructor interception policy.

2026-05-180

research-planning-cleanup

dzackgarza/lattice-research

Use when doing post-hoc meta-review of completed cards, scanning for shallow/confabulated work that passed gate review, cleaning up planning debt, or identifying systemic Jerry-behaviour patterns across cards. Load when "planning cleanup", "meta-review", "completed card audit", or "card quality scan" is mentioned.

2026-05-180

research-proof-auditing

dzackgarza/lattice-research

Use when auditing computational or formal proofs, writing or reviewing mathematical argument notes, checking evidence sufficiency, reviewing Sage/GAP/Lean/Aristotle verification, detecting proof fraud, or deciding whether a result is accepted.

2026-05-180

category-spec-planning

dzackgarza/lattice-research

Use after the user asks to plan category-spec work, decompose an approved plan into cards, or organize plan phases into task/decision/research work.

2026-05-160

来源

dzackgarza

dzackgarza/lattice-research

打开 GitHub 仓库查看创作者相关仓库

安装命令

下载

在 Manus 中运行

适用职业SOC

软件开发工程师计算机与数学类职业15-1252L4

name	category-spec-subtrees
description	Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Category Spec Subtrees

This skill is the canonical subtree-ownership guide for category_specs/.

Canonical source

The source of truth is this skill plus references/subtrees.md.

Core policy

category_specs/AGENTS.md is the only subtree AGENTS entry point.
Lower nested AGENTS.md files were migrated here to avoid many always-loaded mini-manuals.
Load category-spec-style for spec/code compliance and category-spec-workflow for cards, status, plans, smoke triage, or delegation.
Use this skill for local ownership rules: which subtree owns which mathematical surface.