Funcionando en tres pasos.

Descarga el analizador

curl -fsSL -o logicproof https://logicproofai.com/descargas/logicproof-linux-x64
chmod +x logicproof
./logicproof --version

Comprueba que te has bajado lo que crees: la suma SHA-256 está en SHA256SUMS.txt. Para macOS y Windows estamos firmando los binarios; hasta que estén, escríbenos y te los pasamos.

Activa tu licencia

Tu API Key está en tu panel.

./logicproof --activar TU_API_KEY

En un servidor de integración continua no hay dónde guardar nada, así que ahí se usa una variable de entorno — es la misma llave por otra puerta: export LOGICPROOF_API_KEY=tu_api_key

Analiza

./logicproof .                 # todo el proyecto
./logicproof src/pagos.py      # un fichero
./logicproof --fast            # más rápido, encuentra algo menos

Y un candado antes de cada git push: ./logicproof --instalar-hook

En tus Pull Requests

Guarda tu API Key como secreto del repositorio (Settings → Secrets → LOGICPROOF_API_KEY) y añade esto a tu flujo de trabajo:

name: LogicProof
on: [pull_request]

jobs:
  verificar:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: logicproof-ai/logicproof-action@v1
        with:
          api-key: ${{ secrets.LOGICPROOF_API_KEY }}

Cada Pull Request recibe un comentario con las brechas demostradas y sus parches. Por omisión solo bloquea la fusión cuando la gravedad es crítica.

En VS Code

La extensión usa el mismo binario y la misma llave. Se pone una vez en los ajustes del editor:

// settings.json
"logicproof.apiKey": "tu_api_key"

O deja la variable LOGICPROOF_API_KEY en tu entorno y la extensión la coge sola.