Skip to main content
在 Manus 中运行任何 Skill
一键导入
shiguri-01
GitHub 创作者资料

shiguri-01

按仓库查看 6 个 GitHub 仓库中的 20 个已收集 skills。

已收集 skills
20
仓库
6
更新
2026-07-04
仓库浏览

仓库与代表性 skills

documentation
软件开发工程师

Edit or review pvf developer docs under docs/. Use when changing docs/ files, trimming or migrating stale docs, deciding whether information belongs in docs, code comments, or tests, or checking architecture/reference/testing doc ownership and drift risk.

2026-07-04
testing
软件质量保证分析师与测试员

Add, update, place, or review pvf tests and validation. Use when writing regression tests, protecting behavior changes, choosing unit/module/integration test boundaries, reviewing test quality, changing test policy, or deciding validation commands.

2026-07-04
pvf-palette
软件开发工程师

Add, edit, rename, or review pvf palette behavior. Use when changing PaletteKind, PaletteProvider implementations, palette open options, provider snapshots, candidate rows, command-palette visibility, input modes, selection behavior, tab or submit behavior, palette-scoped key behavior, or palette rendering contracts.

2026-07-03
pvf-command
软件开发工程师

Add, edit, rename, or review pvf command behavior. Use when changing command ids, arguments, parsing, roles, exposure, invocation policy, target requirements, enabled_when runtime conditions, command palette visibility, key bindings, help text, or command dispatch.

2026-06-15
bench
软件开发工程师

Run and interpret pvf headless performance diagnostics. Use for generating benchmark PDF fixtures, running `cargo bench --bench perf`, writing JSON reports, comparing results across PDFs or code changes, and explaining scenario metrics or regressions.

2026-06-13
pvf-extension
软件开发工程师

Add, edit, rename, or review pvf extension behavior. Use when changing Extension implementations, ExtensionHost composition, extension-owned state, input hooks, AppEvent handling, background drain, status bar segments, extension UI snapshots, or reload/reset behavior.

2026-06-13
pr-workflow
软件开发工程师

Create and review GitHub pull requests with a consistent workflow. Use this whenever the user asks to create a PR, open/view PR details, draft PR text, or prepare changes for merge.

2026-06-13
rust-crate-path-locator
软件开发工程师

Locate Rust crate source and documentation paths by asking Cargo instead of assuming ~/.cargo. Use when the user asks to inspect a crate implementation, find local crate files, or get the matching docs.rs URL for a dependency.

2026-05-01
moonbit-agent-guide
软件开发工程师

Guide for writing, refactoring, and testing MoonBit projects. Use when working in MoonBit modules or packages, organizing MoonBit files, using moon tooling (build/check/run/test/doc/ide etc.), or following MoonBit-specific layout, documentation, and testing conventions.

2026-06-11
moonbit-spec-test-development
软件质量保证分析师与测试员

Create formal spec-driven MoonBit APIs and test suites. Use when asked to set up a spec.mbt, spec-driven tests, or a formal contract-first workflow (e.g., "set up a formal spec & test suite for Yaml in MoonBit"), including moon.mod.json/moon.pkg.json scaffolding and guidance to implement in separate files.

2026-06-11
moonbit-c-binding
软件开发工程师

Guide for writing MoonBit bindings to C libraries using native FFI. Use when adding extern "c" declarations, writing C stubs with moonbit.h, configuring native-stub and link.native in moon.pkg, choosing

2026-05-25
moonbit-orientation
软件开发工程师

Use this skill when the user needs help solving MoonBit language, code, compiler diagnostic, package, toolchain, backend, FFI, test, or "does MoonBit have X?" questions. Use it even when MoonBit is only implied by .mbt files, moon.mod.json, moon.pkg.json, moon commands, wasm/js/native targets, or mooncakes packages. This skill helps choose the right MoonBit source of truth, discover APIs with moon ide, avoid stale assumptions, and validate fixes.

2026-05-25
moonbit-proof
软件开发工程师

Use when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstraction functions, representation invariants, proof assertions, recursive verified data structures, or reducing trusted proof bridges.

2026-05-25
moonbit-refactoring
软件开发工程师

Refactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pattern matching with views, add loop invariants, and ensure test coverage without regressions. Use when updating MoonBit packages or refactoring MoonBit APIs, modules, or tests.

2026-05-25
已展示 6 / 6 个仓库
已展示全部仓库