Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
leaderless-log-protocol
leaderless-log-protocol には lakestream-io から収集した 2 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。
収集済み skills
2
Stars
38
更新
2026-04-09
Forks
3
職業カバレッジ
1 件の職業カテゴリ · 100% 分類済み
リポジトリエクスプローラー
このリポジトリの skills
クリエイター/リポジトリ/skill
skill
職業分類
説明
更新
fizzbee
ソフトウェア開発者
Fizzbee formal verification for distributed systems. Use when creating, editing, reviewing, or testing Starlark-based specifications with implicit fault injection and model-based testing for consensus protocols (Raft, Paxos), replication, transactions, and distributed algorithms.
2026-04-09
tlaplus
ソフトウェア開発者
TLA+ and PlusCal model checking for distributed systems. Use when creating, editing, reviewing, or optimizing formal specifications for consensus protocols (Raft, Paxos, Zab), replication, transactions, and distributed algorithms. Guides from first principles: start from what failures to prevent, work backwards to the model.
2026-04-09