Skip to content

5-Minute Quick Start

1. Install Daemon (30 seconds)

curl -sSL https://provadyne.com/install.sh | sh

Or via Homebrew:

brew tap sgchoi/provadyne
brew install provadyne-daemon
brew services start provadyne-daemon

2. Install Chrome Extension (30 seconds)

  • Search "Provadyne" in the Chrome Web Store, or
  • Developer mode: chrome://extensions → Load unpacked → select the extension/ directory

3. First Analysis (2 minutes)

  1. Open a GitHub PR that contains a .c or .cpp file
  2. The extension sidebar appears automatically — click MISRA Check
  3. Review violations and AI-suggested fixes in the diff viewer

4. Connect an LLM (2 minutes)

ollama pull codellama:13b

The daemon auto-detects Ollama at http://localhost:11434.

Cloud API (BYOK)

Extension Popup → Settings → LLM → select provider → paste API key.

Your key is stored locally in Chrome's encrypted storage and is only sent to the provider you choose.

5. Activate License (optional)

Extension Popup → License → Activate → select your .lic file.

Without a license the tool runs in Free tier (single-file analysis, no batch mode, no traceability matrix export).

Verify Everything Works

curl http://localhost:9400/api/v1/health
# → {"status":"ok","version":"0.1.0"}

curl http://localhost:9400/api/v1/version
# → {"current":"0.1.0","latest":"...","has_update":false,...}