lean-spec

maintainer vlastimilholub · 0 votes · scanned 2026-08-03 00:08:14.047287

LOW

Why flagged Package builds from official source on GitHub, no remote code execution or untrusted binaries; orphaned status is administrative, not a security risk.

Triggered rules

LOW AI review downgraded a static finding llm_review

The static rules flagged this MEDIUM, but an AI model (qwen/qwen3-235b-a22b-2507) reviewed the full PKGBUILD and judged it LOW (confidence 95%): Package builds from official source on GitHub, no remote code execution or untrusted binaries; orphaned status is administrative, not a security risk.

1 higher static finding superseded - not the current verdict (shown for transparency)

MEDIUM Recently orphaned & re-adopted orphaned_readopted

This package was orphaned and re-adopted within the last 30 days — a window where ownership transfers can introduce malicious changes.

PKGBUILD

      1# Maintainer: Umar Alfarouk <medrivia@gmail.com>
    
      2pkgname=lean-spec
    
      3pkgver=0.2.19
    
      4pkgrel=2
    
      5pkgdesc="Lightweight, flexible Spec-Driven Development (SDD) for modern AI-powered development "
    
      6arch=('x86_64' 'aarch64')
    
      7url="https://github.com/codervisor/lean-spec"
    
      8license=('MIT')
    
      9options=('!debug')
    
      10depends=('pnpm')
    
      11makedepends=('pkg-config' 'pnpm' 'rust' 'cargo')
    
      12source=("${pkgname}-${pkgver}.tar.gz::${url}/archive/v${pkgver}.tar.gz")
    
      13sha256sums=('9afa1b81613381204817dd2ef3a902a12b88113b6015aff47e905445cba4d9d1')
    
      14
    
      15build() {
    
      16	cd "${srcdir}/lean-spec-${pkgver}/rust"
    
      17	cargo build --release -p leanspec-cli
    
      18}
    
      19
    
      20package() {
    
      21	cd "${srcdir}/lean-spec-${pkgver}/rust"
    
      22
    
      23	# Create directories
    
      24	install -dm755 "${pkgdir}/usr/bin"
    
      25
    
      26	# Install the CLI executable
    
      27	install -Dm755 "target/release/lean-spec" "${pkgdir}/usr/bin/lean-spec"
    
      28	# install -Dm755 "target/release/leanspec-http" "${pkgdir}/usr/bin/leanspec-http"
    
      29	# install -Dm755 "target/release/leanspec-mcp" "${pkgdir}/usr/bin/leanspec-mcp"
    
      30	# install -Dm755 "target/release/leanspec-mcp" "${pkgdir}/usr/bin/leanspec-sync-bridge"
    
      31}
    
      32

Scan history

Scanned at (UTC)	Severity	Rules
2026-08-03 00:08:14	LOW	2
2026-08-02 00:16:08	LOW	2
2026-08-01 00:11:18	LOW	2
2026-07-31 00:14:10	LOW	2
2026-07-30 17:15:21	MEDIUM	1
2026-06-18 16:11:54	CLEAN	0