스킬 검색.../

스킬 파일

Skill Z3 Implementation

Implement Z3 constraints. Invoke for Z3-language implementation tasks.

benbrastmckie437 스타2026. 4. 14.

직업
카테고리

프레임워크 내부 구조

스킬 내용

Z3 Implementation Skill

Thin wrapper that delegates Z3 implementation to z3-implementation-agent subagent.

Trigger Conditions

This skill activates when:

Task type is "z3"
/implement command targets a Z3 task
Plan exists and task is ready for implementation

Execution Flow

Stage 1: Input Validation

Validate task_number exists and language is "z3".

Stage 2: Preflight Status Update

Update status to "implementing" BEFORE invoking subagent.

Stage 3: Prepare Delegation Context

Include task_context, plan_path, metadata_file_path.

Stage 4: Invoke Subagent

관련 스킬

빠른 설치

Skill Z3 Implementation

npx skills add benbrastmckie/nvim

Skill 다운로드 저장소 열기

작성자: benbrastmckie
스타: 437
업데이트: 2026. 4. 14.
직업

이 페이지의 내용

01Z3 Implementation Skill

Use Task tool with subagent_type: "z3-implementation-agent".

Stage 4b: Self-Execution Fallback

CRITICAL: If you performed the work above WITHOUT using the Task tool (i.e., you read files, wrote artifacts, or updated metadata directly instead of spawning a subagent), you MUST write a .return-meta.json file now before proceeding to postflight. Use the schema from return-metadata-file.md with status value "implemented".

If you DID use the Task tool, skip this stage -- the subagent already wrote the metadata.

Postflight (ALWAYS EXECUTE)

The following stages MUST execute after work is complete, whether the work was done by a subagent or inline (Stage 4b). Do NOT skip these stages for any reason.

Stage 5: Parse Subagent Return

Read the metadata file from specs/{N}_{SLUG}/.return-meta.json.

Stage 6: Update Task Status (Postflight)

Update state.json and TODO.md based on result.

Stage 7: Link Artifacts

Add artifact to state.json with summary. Update TODO.md per @.claude/context/patterns/artifact-linking-todo.md with field_name=**Summary**, next_field=**Description**.

Stage 8: Git Commit

Commit changes with session ID.

Stage 9: Return Brief Summary

MUST NOT (Postflight Boundary)

After the agent returns, this skill MUST NOT:

Edit Z3 files - All constraint work is done by agent
Run z3 solver - Verification is done by agent
Analyze or grep source - Analysis is agent work
Write summary/reports - Artifact creation is agent work

PROHIBITION: If the subagent returned partial or failed status, the lead skill MUST NOT attempt to continue, complete, or "fill in" the subagent's work. Report the partial/failed status and let the user re-run /implement to resume.

The postflight phase is LIMITED TO:

Reading agent metadata file
Updating state.json via jq
Updating TODO.md status marker via Edit
Linking artifacts in state.json
Git commit
Cleanup of temp/marker files

Reference: @.claude/context/standards/postflight-tool-restrictions.md

Return Format

Brief text summary (NOT JSON).

02

Trigger Conditions

03Execution Flow

04Stage 1: Input Validation

05Stage 2: Preflight Status Update

06Stage 3: Prepare Delegation Context

07Stage 4: Invoke Subagent

08Stage 4b: Self-Execution Fallback

09Postflight (ALWAYS EXECUTE)

10Stage 5: Parse Subagent Return

소프트웨어 개발자

프레임워크 내부 구조

Pytorch Patterns

PyTorch深度学习模式与最佳实践，用于构建稳健、高效且可复现的训练流程、模型架构和数据加载。

Regex Vs Llm Structured Text

选择在解析结构化文本时使用正则表达式还是大型语言模型的决策框架——从正则表达式开始，仅在低置信度的边缘情况下添加大型语言模型。

Effect

Answer questions about the Effect framework

anomalyco145.4k

프레임워크 내부 구조

Flags

How to add or modify Next.js experimental feature flags end-to-end. Use when editing config-shared.ts, config-schema.ts, define-env-plugin.ts, next-server.ts, export/worker.ts, or module.compiled.js. Covers type declaration, zod schema, build-time injection, runtime env plumbing, and the decision between runtime env-var branching vs separate bundle variants.

프레임워크 내부 구조

WPF to WinUI 3 Migration Skill

Guide for migrating PowerToys modules from WPF to WinUI 3 (Windows App SDK). Use when asked to migrate WPF code, convert WPF XAML to WinUI, replace System.Windows namespaces with Microsoft.UI.Xaml, update Dispatcher to DispatcherQueue, replace DynamicResource with ThemeResource, migrate imaging APIs from System.Windows.Media.Imaging to Windows.Graphics.Imaging, convert WPF Window to WinUI Window, migrate .resx to .resw resources, migrate custom Observable/RelayCommand to CommunityToolkit.Mvvm source generators, handle WPF-UI (Lepo) to WinUI native control migration, or fix installer/build pipeline issues after migration. Keywords: WPF, WinUI, WinUI3, migration, porting, convert, namespace, XAML, Dispatcher, DispatcherQueue, imaging, BitmapImage, Window, ContentDialog, ThemeResource, DynamicResource, ResourceLoader, resw, resx, CommunityToolkit, ObservableProperty, WPF-UI, SizeToContent, AppWindow, SoftwareBitmap.

microsoft131.8k

프레임워크 내부 구조

At Dispatch V2

Convert PyTorch AT_DISPATCH macros to AT_DISPATCH_V2 format in ATen C++ code. Use when porting AT_DISPATCH_ALL_TYPES_AND*, AT_DISPATCH_FLOATING_TYPES*, or other dispatch macros to the new v2 API. For ATen kernel files, CUDA kernels, and native operator implementations.

Skill Z3 Implementation | Skills Pool

소프트웨어 개발자