Expert guide for mathematical formal verification, SMT solver constraints (Z3, Dafny, TLA+), invariant theorem proving for FinTech billing state machines, RBAC/ABAC authorization, and zero-violation architecture / Panduan ahli verifikasi formal matematis, SMT solver (Z3, Dafny, TLA+), pembuktian invarian state machine billing FinTech, otorisasi RBAC/ABAC, dan arsitektur zero-violation.
日本語の概要は準備中です。原文の説明を表示しています。
roedyrustam/vibes-plug☆ 752026年10月9日 更新
Expert guide for designing Machine-to-Machine (M2M) micro-economies, autonomous agent wallets, and swarm budget allocation / Panduan ahli merancang ekonomi mikro antar-agen (M2M), dompet agen otonom, dan alokasi anggaran swarm.
日本語の概要は準備中です。原文の説明を表示しています。
roedyrustam/vibes-plug☆ 752026年10月9日 更新
Expert guide for Composable MACH Architecture (Microservices, API-first, Cloud-native, Headless) — dynamic UI composition, federated API mesh, Backend-for-Frontend patterns, plugin/extension architectures, event-driven composition, and composable AI routing / Panduan ahli Arsitektur MACH Komposabel — komposisi UI dinamis, API mesh federasi, pola Backend-for-Frontend, arsitektur plugin/ekstensi, komposisi event-driven, dan routing AI komposabel.
日本語の概要は準備中です。原文の説明を表示しています。
roedyrustam/vibes-plug☆ 752026年10月9日 更新
Scaffolds a complete .NET solution following Clean Architecture principles with proper layer separation (API, Application, Domain, Infrastructure). Creates project structure, dependency injection setup, and cross-cutting concerns configuration.
日本語の概要は準備中です。原文の説明を表示しています。
ronnythedev/dotnet-clean-architecture-skills☆ 752026年7月14日 更新
The pedagogy of feeding — how to talk about food with children, what the Division of Responsibility model says, age-appropriate autonomy in eating, how to handle picky eating without creating disordered eating, and how to teach nutrition concepts to learners at different levels without either moralizing or oversimplifying. Use when a question is about raising, teaching, or advising a child or learner on eating, or when planning curriculum or parent guidance.
日本語の概要は準備中です。原文の説明を表示しています。
Tibsfox/gsd-skill-creator☆ 712026年7月20日 更新
Service-oriented and microservices architecture patterns for cloud-scale systems. Covers service boundaries, API versioning and backward compatibility, eventual consistency at the API layer, idempotency keys, saga and choreography patterns, bulkheads, circuit breakers, service meshes, and the Vogels "you build it, you run it" operating principle. Use when designing service decomposition, API contracts, inter-service communication, or reviewing a proposed microservices architecture for coupling and resilience.
日本語の概要は準備中です。原文の説明を表示しています。
Tibsfox/gsd-skill-creator☆ 712026年7月20日 更新
Computational thinking as a problem-solving discipline independent of programming languages. Covers the four pillars (decomposition, pattern recognition, abstraction, algorithm design), computational problem-solving methodology (understand, decompose, generalize, formalize, verify), abstraction levels (from hardware through user interface), modeling and simulation, automata and formal languages (DFA, NFA, regular expressions, context-free grammars, Turing machines), computational complexity classes (P, NP, NP-complete, undecidable), and constructionist pedagogy (learning by building, Logo, Scratch, physical computing). Use when approaching unfamiliar problems, teaching problem-solving strategies, analyzing problem complexity, or bridging between domain knowledge and computational solutions.
日本語の概要は準備中です。原文の説明を表示しています。
Tibsfox/gsd-skill-creator☆ 712026年7月20日 更新
Anna's Archive integration for academic paper and book retrieval. Search shadow libraries (Library Genesis, Z-Library, Sci-Hub) via unified API with GF(3) balanced caching.
日本語の概要は準備中です。原文の説明を表示しています。
plurigrid/asi☆ 672026年7月10日 更新
Archive a completed change in the experimental workflow. Use when the user wants to finalize and archive a change after implementation is complete.
日本語の概要は準備中です。原文の説明を表示しています。
Brain-up/brn☆ 652026年10月14日 更新
Expert LLM architect specializing in large language model architecture, deployment, and optimization. Masters LLM system design, fine-tuning strategies, and production serving with focus on building scalable, efficient, and safe LLM applications.
日本語の概要は準備中です。原文の説明を表示しています。
diegosouzapw/awesome-omni-skill☆ 632026年3月2日 更新
Review touched subsystems for layering, crate boundaries, single-source-of-truth rules, registry-driven behavior, and compiler/runtime separation. Use when a broad review needs a dedicated architecture pass or when the user asks for architectural review specifically.
日本語の概要は準備中です。原文の説明を表示しています。
encero-systems/incan☆ 612026年10月15日 更新
Use when designing an autonomous agent, planning agent architecture, building a scheduled automation, or creating a Claude Code agent workflow. Triggers: 'design an agent', 'build an automation', 'agent architecture', 'automate this workflow', 'create a scheduled agent', 'shell script agent'.
日本語の概要は準備中です。原文の説明を表示しています。
Othmane-Khadri/gtm-engineer-playbook☆ 582026年4月6日 更新
Build an AEO-first topical map optimized for AI search citation — entity clusters, query fan-out coverage, information gain scoring, and multi-platform distribution. Produces entity map, content node architecture, schema blueprint, and 90-day publishing calendar. Use when "topical map", "content architecture", "site structure", "topic clusters", "pillar content plan", "AEO map", "AI search architecture", "entity map", "what content should we build", or any request to plan a site's topical structure for AI search visibility.
日本語の概要は準備中です。原文の説明を表示しています。
cgallic/kai-cmo-harness☆ 562026年10月3日 更新
Turn a brand's positioning into a 30-day, multi-platform content batch — 3-7 pillars, subtopic matrix mapped to funnel stage and persona, pillar pieces plus derivative fan-out, proof elements in at least half the slots, all registered in the editorial calendar store and quality-gated. Use when "content batch", "batch my content", "30 days of content", "month of content", "content batching machine", "content pillars", "fill the content calendar", "plan a month of posts", or any request to produce a full month of multi-platform content in one run.
日本語の概要は準備中です。原文の説明を表示しています。
cgallic/kai-cmo-harness☆ 562026年10月3日 更新
Create and manage Architecture Decision Records (ADRs). Use when making architectural changes (refactoring, API versioning, new domain layers, schema changes), when reviewing recent commits for documentation needs, or when the user mentions ADR, architecture decisions, or documenting technical decisions.
日本語の概要は準備中です。原文の説明を表示しています。
erode-app/erode☆ 532026年10月8日 更新
Detect documentation and architecture-model drift by comparing source-of-truth code (CLI commands, flags, env vars, GH Action inputs/outputs, package structure, pipeline stages, providers, adapters, platforms) against web docs, README, and LikeC4 architecture model (.c4 files). Use when files that define the user-facing interface or internal structure change, when the user asks to check docs, or when mentioning doc drift, architecture drift, stale docs, or documentation sync.
日本語の概要は準備中です。原文の説明を表示しています。
erode-app/erode☆ 532026年10月8日 更新
Generate architecture diagrams using Python diagrams library
日本語の概要は準備中です。原文の説明を表示しています。
DavidROliverBA/ArchitectKB☆ 532026年3月2日 更新
Evaluate an architecture artifact (ADR, HLD, LLD) against the vault's established architecture principles
日本語の概要は準備中です。原文の説明を表示しています。
DavidROliverBA/ArchitectKB☆ 532026年3月2日 更新
Generate C4 architecture diagrams from system notes
日本語の概要は準備中です。原文の説明を表示しています。
DavidROliverBA/ArchitectKB☆ 532026年3月2日 更新
Create and edit Obsidian Canvas files for architecture visualization
日本語の概要は準備中です。原文の説明を表示しています。
DavidROliverBA/ArchitectKB☆ 532026年3月2日 更新
Query Chinese A-share, ETF, index, financial statement, valuation, capital-flow, and technical-indicator data through the AShareHub Python SDK and hosted API. Use this skill when an agent needs structured China market data as pandas DataFrames.
日本語の概要は準備中です。原文の説明を表示しています。
agentskillexchange/skills☆ 522026年10月14日 更新
Download a supported video URL with yt-dlp and upload the preserved file plus metadata to archive.org as a repeatable preservation job.
日本語の概要は準備中です。原文の説明を表示しています。
agentskillexchange/skills☆ 522026年10月14日 更新
Map testable surfaces, audit existing tests for quality, and write test specifications that prevent AI shortcuts. Use when asked to "audit tests", "specify tests", "test architect", "map test coverage", or invoke /test-architect. Two modes — audit (evaluate existing tests against Beck's principles) and specify (write test specs for new code). Powered by Carmack × Beck quality-testing.md reference doc. Stack: Next.js App Router / TypeScript / Vitest / Cypress / tRPC / Prisma / Neon.
日本語の概要は準備中です。原文の説明を表示しています。
SamJHudson01/Carmack-Council☆ 522026年3月16日 更新
Use when the user says 'find old content', 'what is stale', 'what needs refreshing', or 'what should i archive'. Categorizes pages and posts as fresh, aging, stale, or archive-candidate by age, traffic signal, and internal link count, with a refresh, redirect, or archive call per item.
日本語の概要は準備中です。原文の説明を表示しています。
respira-press/agent-skills-wordpress☆ 472026年9月13日 更新