spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
发现 devops architecture patterns 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refa...
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
Sets preserved by the flow
Gay.jl world_ pattern: persistent composable state builders with GF(3) conservation, Möbius invertibility, and Narya verification
Guide for creating high-quality MCP (Model Context Protocol) servers
Distributed object capability system (6.5K lines info).
MCP tripartite integration for orchestrating distributed tool protocols
bmorphism Diagrams
Adhesive categories for incremental query updating and pattern rewriting
Coalgebraic observation of derivation streams with final coalgebra bisimulation
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory
The final gatekeeper. Audits RFCs to reject over-engineering, unnecessary dependencies, and resume-driven development.
分析构建系统拓扑,识别独立构建单元、多产物风险和版本漂移隐患。
识别项目中的独立系统,定义系统边界。产出系统架构总览,为后续系统设计奠定基础。
A high-level decision engine and implementation roadmap for sequencing Fullstory React Native skills. Ensures that data capture follows a logical sequence (Compliance -> Identity -> Navigation -> Interaction ->...
Guides subagent coordination through implementation workflows. Use when orchestrating multiple agents, managing workflow phases, or determining autonomous execution mode. Defines scale determination, document r...
ドメイン駆動設計(DDD)のビルディングブロックを活用したドメインモデリングを専門とするスキル。 Entity、Value Object、Aggregate、Repository Patternを適用し、 ビジネスロジックを中心に据えた堅牢なドメイン層を設計す...
エラーハンドリングの設計・実装パターンスキル。 エラー分類、リトライ戦略、サーキットブレーカー、ユーザー向けメッセージ設計を提供。 Anchors: - Release It! (Michael Nygard) / 適用: 本番環境の安定性パターン / 目的...
データアクセス層の抽象化パターン専門スキル。 アプリケーション層とデータアクセス層を分離し、ドメインエンティティをコレクション風 インターフェースで操作する抽象化を提供する。インターフェース設計、実装、マッピング...
APIバージョニング戦略と後方互換性管理を専門とするスキル。破壊的変更の管理、段階的廃止プロセス、バージョン間の移行ガイド作成を支援します。 **Anchors(参考資料):** • 『RESTful Web APIs』(Leonard Richardson)/...
3層開示モデル(メタデータ→本文→リソース)による段階的な情報提供で、トークン効率と知識スケーラビリティを両立。スキル発動信頼性を最大化し、必要な時に必要な知識だけをロードします。 Anchors: • The Pragmatic Progra...
アーキテクチャパターン(Hexagonal、Onion、Vertical Sliceなど)の選定・比較・適用と、依存関係の準拠評価を支援するスキル。 境界設計、レイヤー責務、移行計画を整理し、設計判断の根拠と実装の一貫性を保ちます。 Ancho...
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。