brrr-lint 0.1.0

A fast linter and language server for F* (FStar) with autofix capabilities
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

# brrr-lint

A fast linter and language server for [F*](https://fstar-lang.org/) (FStar), the proof-oriented programming language.

## Installation

```bash
cargo install brrr-lint
```

## Usage

```bash
# Check F* files for issues
brrr-lint check src/

# Preview fixes (dry-run mode - default)
brrr-lint fix src/

# Apply fixes
brrr-lint fix src/ --apply

# Run as LSP server
brrr-lint serve

# List all rules
brrr-lint rules
```

## Rules

| Code | Description |
|------|-------------|
| FST001 | Duplicate type definitions across .fst/.fsti |
| FST002 | Interface/implementation mismatches |
| FST003 | Interface declaration ordering |
| FST004 | Unused module opens |
| FST005 | Dead code detection |
| FST006 | Naming convention violations |
| FST007 | Large match expressions |
| FST008 | Broad imports |
| FST009 | Module dependency issues |
| FST010 | Proof hint suggestions |
| FST011 | Effect issues (admit/assume) |
| FST012 | Refinement type simplification |
| FST013 | Missing documentation |
| FST014 | Test suggestions |
| FST015 | Security patterns |
| FST016 | Verification performance |
| FST017 | Z3 complexity analysis |

## Safety

By default, `brrr-lint fix` runs in **dry-run mode** and shows what would be changed without modifying files. Use `--apply` to write changes.

Fix safety levels:
- **Safe**: Auto-applied with `--apply`
- **Caution**: Applied with warning
- **Unsafe**: Requires `--force --apply`

## License

Apache-2.0