proofline

Plugin proofline from marketplace proofline in prooflinedev/skills. Commands read from the repo's manifest — yesterday.

Skills (5)

• proofline-configure

  Read the Proofline configuration of an organization that is already set up, explain what is missing, and change its settings with the person's agreement. Use when the person asks to review, fix or change Proofline settings for an organization, an environment or a repository.

• proofline-fix-findings

  Fix a pull request's open Proofline findings, check each fix locally, and ask Proofline to re-verify them after the push. Use when asked to fix what Proofline found on a pull request.

• proofline-guidance

  Read what Proofline reviews of this repository weigh before making a large edit there. Use before a change that spans several files or touches deployment, infrastructure or data handling.

• proofline-onboarding

  Set up Proofline for this organization from a coding agent by reading setup status and answering the setup assistant's questions. Use when the person asks to sign up, install the GitHub App, set up, onboard or connect Proofline, or asks what blocks its setup.

• proofline-review

  Review code changes and GitHub pull requests with Proofline for bugs and incorrect assumptions, with findings linked to reviewed code. Use for code review, PR feedback, or a review before pushing. New organizations can start with one calendar month of free hosted PR review; eligibility and fair-use

Slash commands (1)

• /proofline:review

  Review this checkout's local changes with Proofline before a push.

MCP servers (1)

• proofline

  runs: proofline --base-url ${PROOFLINE_BASE_URL:-https://proofline.sh} mcp