omk 0.5.0

A Rust runtime for Kimi CLI. Turns prompts into proof-backed engineering runs with gates, worktrees, and replay.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125

---
schema_version: 1
module: marketplace
level: root
purpose: Fetch and merge external skill marketplace registries.
status: stable
surface:
  - name: load_all_skills
    kind: fn
    visibility: pub
    contract: >
      Given a list of registry URLs or file paths, fetches each registry and
      returns a flattened list of (registry_name, skill) tuples.
      Non-fatal errors are logged and skipped.
    proof:
      kind: integration-test
      target: tests/marketplace_test.rs
      command: cargo test --test marketplace_test
  - name: MarketplaceRegistry
    kind: struct
    visibility: pub
    contract: >
      In-memory representation of a marketplace registry with name, URL, and skills list.
    proof:
      kind: integration-test
      target: tests/marketplace_test.rs
      command: cargo test --test marketplace_test
  - name: MarketplaceRegistry::fetch
    kind: fn
    visibility: pub
    contract: >
      HTTP GET a registry JSON with a 30-second timeout,
      returning a parsed MarketplaceRegistry or an error.
    proof:
      kind: integration-test
      target: tests/marketplace_test.rs
      command: cargo test --test marketplace_test
  - name: MarketplaceRegistry::fetch_file
    kind: fn
    visibility: pub
    contract: >
      Read and parse a local registry JSON file asynchronously.
    proof:
      kind: integration-test
      target: tests/marketplace_test.rs
      command: cargo test --test marketplace_test
  - name: RegistrySkill
    kind: struct
    visibility: pub
    contract: >
      Individual skill entry with name, description, author, URL, and tags.
    proof:
      kind: schema
      target: src/marketplace/registry.rs
      command: cargo check
dependencies:
  internal: []
  external:
    - name: anyhow
      scope: error handling
      reason: Structured error propagation for HTTP and file I/O.
    - name: serde
      scope: serialization
      reason: Deserialize registry and skill JSON.
    - name: reqwest
      scope: HTTP client
      reason: Fetch remote marketplace registries over HTTP/HTTPS.
    - name: tokio
      scope: async file I/O
      reason: Non-blocking filesystem reads for local registries.
    - name: tracing
      scope: observability
      reason: Warn-level logging for registry fetch failures.
    - name: std
      scope: path and time
      reason: Path handling and HTTP timeout configuration.
consumers:
  - path: src/cli/marketplace.rs
    uses: ["load_all_skills", "MarketplaceRegistry::fetch", "MarketplaceRegistry::fetch_file"]
  - path: src/cli/doctor.rs
    uses: ["MarketplaceRegistry::fetch", "MarketplaceRegistry::fetch_file"]
invariants:
  - id: timeout-bounded
    rule: HTTP registry fetches use a 30-second timeout to prevent indefinite hangs.
    proof:
      kind: static-check
      target: src/marketplace/registry.rs
      command: cargo clippy --all-targets --all-features -- -D warnings
  - id: best-effort-loading
    rule: load_all_skills skips registries that fail instead of failing the entire operation.
    proof:
      kind: static-check
      target: src/marketplace/registry.rs
      command: cargo clippy --all-targets --all-features -- -D warnings
  - id: no-panic
    rule: Public functions do not panic; errors are propagated via Result.
    proof:
      kind: static-check
      target: src/marketplace
      command: cargo clippy --all-targets --all-features -- -D warnings
verification:
  pre_change:
    - cargo test --lib marketplace
  full:
    - cargo test
    - cargo clippy --all-targets --all-features -- -D warnings
---

# marketplace

## Architecture

The `marketplace` module is a thin I/O layer for external skill registries.

- `registry.rs` owns the data model (`MarketplaceRegistry`, `RegistrySkill`) and two fetch strategies: remote HTTP and local file.
- `mod.rs` is a storefront: it declares the submodule and re-exports the public surface.

Data flow: CLI provides a list of registry URLs/paths → `load_all_skills` iterates → dispatches to `fetch` (HTTP) or `fetch_file` (local) → returns flattened skills. Failures are logged and skipped.

## Files

| File | Responsibility |
|------|----------------|
| `mod.rs` | Storefront: declares submodule, re-exports surface. |
| `registry.rs` | Data model, HTTP fetch, file fetch, and skill flattening. |