cargo-kimi 1.4.0

Cargo subcommand for kimi-dotfiles guidelines and verification
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

# cargo-kimi

Cargo subcommand for [kimi-dotfiles](https://github.com/ekhodzitsky/kimi-dotfiles) — structured contracts for Rust.

## Installation

```bash
cargo install --git https://github.com/ekhodzitsky/kimi-dotfiles cargo-kimi
```

## Usage

```bash
# Initialize guidelines in the current project
cargo kimi init

# Run mechanized checks (contracts, clippy, tests)
cargo kimi check

# Run formal verification with Kani (requires kani-verifier)
cargo kimi verify

# Show upgrade instructions
cargo kimi upgrade
```

## Templates

- `minimal` — Core rules only (AGENTS.md)
- `rust-only` — Core rules + Rust-specific lints (default)
- `full` — Core rules + Rust + CI + benchmarks

## Strictness

- `relaxed` — Only critical violations fail
- `standard` — Critical + major (default)
- `strict` — All violations including minor and info

## Options

| Flag | Description |
|------|-------------|
| `--template <NAME>` | Template to install |
| `--strictness <LEVEL>` | Strictness level |
| `--yes` | Skip confirmation prompts |

## Example

```bash
cargo kimi init --template rust-only --strictness strict --yes
cargo kimi check --strictness standard
```