chore: vibe

Author: TilakMaddy

CONTRIBUTING.md

@@ -50,10 +50,11 @@ just setup
 ### Development Workflow
 
 1. Work on the issue and write unit tests
-   - Add Solidity test files to `tests/contract-playground/` as needed
+   - Add Solidity test files to `tests/contract-playground/` for small additions
+   - For larger test cases, create your own project under `tests/`. Prefer projects without external dependencies—use `forge init --no-git` for a minimal Foundry setup
    - Run specific tests with `cargo test <test-name>`
 
-2. Generate reports to verify your changes
+2. Generate reports to verify your changes using `cargo prep`. This command runs Aderyn against test projects and outputs baseline reports to `reports/`. These reports are committed to the repo, and CI verifies that your changes produce the expected output.
    ```bash
    cargo prep -n playground   # Generate report for contract-playground
    cargo prep                 # Show all available test projects
@@ -64,26 +65,12 @@ just setup
    cargo blesspr              # Run all checks to satisfy CI
    ```
 
-4. Open a pull request to the `dev` branch. A maintainer (@alexroan or @TilakMaddy) will review it.
-
-### Code Quality
-
-If you are not running `cargo blesspr` due to the small scope of your changes, run these commands to fix formatting and lint issues:
-```bash
-cargo fixfmt
-cargo fixclippy
-```
-
-### Advanced Setup (Optional)
+   > **Quick fixes only?** For small changes, you can skip the full `blesspr` and just run:
+   > ```bash
+   > cargo fixfmt && cargo fixclippy
+   > ```
 
-For a better development experience, install [Bacon](https://dystroy.org/bacon/) and run `bacon` at the project root. Keyboard shortcuts:
-
-| Key | Action |
-|-----|--------|
-| `t` | Run tests |
-| `r` | Generate report for contract-playground |
-| `a` | Generate all reports in parallel |
-| `Alt-b` / `⌥-b` | Bless the PR (run all CI checks) |
+4. Open a pull request to the `dev` branch. A maintainer (@alexroan or @TilakMaddy) will review it.
 
 ### Adding a Test Project
 

bacon.toml

@@ -1,9 +1,20 @@
-# This is a configuration file for the bacon tool
+# Bacon configuration for Aderyn development
+# https://dystroy.org/bacon/
 #
 # Complete help on configuration: https://dystroy.org/bacon/config/
+# Default config: https://github.com/Canop/bacon/blob/main/defaults/default-bacon.toml
 #
-# You may check the current default at
-#   https://github.com/Canop/bacon/blob/main/defaults/default-bacon.toml
+# Install: cargo install bacon
+# Run: bacon (at project root)
+#
+# Keyboard shortcuts:
+#   t         Run tests
+#   r         Generate report for contract-playground
+#   a         Generate all reports in parallel
+#   Alt-b     Bless the PR (run all CI checks)
+#   c         Run clippy
+#   f         Check formatting
+#   d         Open docs
 
 default_job = "clippy-display-warnings"
 env.CARGO_TERM_COLOR = "always"