fomtools 0.0.1__tar.gz

fomtools-0.0.1/.github/workflows/ci.yml

@@ -0,0 +1,111 @@
+name: Python build and test
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+
+jobs:
+  linter:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.13"
+      - name: ruff
+        uses: chartboost/ruff-action@v1
+
+  package:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.13"
+
+      - name: Set up uv
+        uses: astral-sh/setup-uv@v6
+        with:
+          version: "0.11.15"
+
+      - name: Build wheel
+        run: uv build --wheel
+
+      - name: Install into clean venv (no extras)
+        run: |
+          uv venv /tmp/pkg-test
+          uv pip install --python /tmp/pkg-test/bin/python dist/*.whl
+
+      - name: Smoke-test import and CLI
+        run: |
+          /tmp/pkg-test/bin/python -c "import fomtools; print(fomtools.__version__)"
+          /tmp/pkg-test/bin/fomtools-codegen --help
+
+      - name: Verify HiGHS default works
+        run: |
+          /tmp/pkg-test/bin/python -c "
+          from fomtools.verifier import Verifier
+          v = Verifier()
+          assert v.canonicalizer.solver.__class__.__name__ == 'HiGHSSolver'
+          print('HiGHS default: OK')
+          "
+
+      - name: Verify Gurobi ImportError message
+        run: |
+          /tmp/pkg-test/bin/python -c "
+          import sys
+          from fomtools.verifier import Verifier
+          try:
+              Verifier(solver='gurobi')
+              sys.exit('expected ImportError')
+          except ImportError as e:
+              assert 'fomtools[gurobi]' in str(e)
+              print(f'ImportError hint: OK ({e})')
+          "
+
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.12", "3.13"]
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install OpenBLAS (needed for SCS)
+        run: sudo apt-get update && sudo apt-get install -y libopenblas-dev
+
+      - name: Set up Python ${{ matrix.python-version }}
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+
+      - name: Set up uv
+        uses: astral-sh/setup-uv@v6
+        with:
+          version: "0.11.15"
+
+      - shell: bash
+        id: write-license
+        env:
+          LICENSE: ${{ secrets.GUROBI_LICENSE}}
+        run: |
+          echo "$LICENSE" > $PWD/gurobi.lic
+
+      - name: Install the project
+        run: uv sync --extra dev --extra docs --extra nn --extra cvxpygen
+
+      - name: Check Gurobi License
+        env:
+          GRB_LICENSE_FILE: ${{ github.workspace }}/gurobi.lic
+        run: uv run --frozen python -c "import gurobipy; gurobipy.Model()"
+
+      - name: Run tests
+        env:
+            GRB_LICENSE_FILE: ${{ github.workspace }}/gurobi.lic
+        run: uv run --frozen pytest tests

fomtools-0.0.1/.github/workflows/claude-code-review.yml

@@ -0,0 +1,43 @@
+name: Claude Code Review
+
+on:
+  pull_request:
+    types: [opened, synchronize, ready_for_review, reopened]
+    # Optional: Only run on specific file changes
+    # paths:
+    #   - "src/**/*.ts"
+    #   - "src/**/*.tsx"
+    #   - "src/**/*.js"
+    #   - "src/**/*.jsx"
+
+jobs:
+  claude-review:
+    # Optional: Filter by PR author
+    # if: |
+    #   github.event.pull_request.user.login == 'external-contributor' ||
+    #   github.event.pull_request.user.login == 'new-developer' ||
+    #   github.event.pull_request.author_association == 'FIRST_TIME_CONTRIBUTOR'
+
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: read
+      issues: read
+      id-token: write
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
+
+      - name: Run Claude Code Review
+        id: claude-review
+        uses: anthropics/claude-code-action@v1
+        with:
+          claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }}
+          plugin_marketplaces: 'https://github.com/anthropics/claude-code.git'
+          plugins: 'code-review@claude-code-plugins'
+          prompt: '/code-review:code-review ${{ github.repository }}/pull/${{ github.event.pull_request.number }}'
+          # See https://github.com/anthropics/claude-code-action/blob/main/docs/usage.md
+          # or https://code.claude.com/docs/en/cli-reference for available options

fomtools-0.0.1/.github/workflows/claude.yml

@@ -0,0 +1,49 @@
+name: Claude Code
+
+on:
+  issue_comment:
+    types: [created]
+  pull_request_review_comment:
+    types: [created]
+  issues:
+    types: [opened, assigned]
+  pull_request_review:
+    types: [submitted]
+
+jobs:
+  claude:
+    if: |
+      (github.event_name == 'issue_comment' && contains(github.event.comment.body, '@claude')) ||
+      (github.event_name == 'pull_request_review_comment' && contains(github.event.comment.body, '@claude')) ||
+      (github.event_name == 'pull_request_review' && contains(github.event.review.body, '@claude')) ||
+      (github.event_name == 'issues' && (contains(github.event.issue.body, '@claude') || contains(github.event.issue.title, '@claude')))
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: read
+      issues: read
+      id-token: write
+      actions: read # Required for Claude to read CI results on PRs
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
+
+      - name: Run Claude Code
+        id: claude
+        uses: anthropics/claude-code-action@v1
+        with:
+          claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }}
+
+          # This is an optional setting that allows Claude to read CI results on PRs
+          additional_permissions: |
+            actions: read
+
+          # Optional: Give a custom prompt to Claude. If this is not specified, Claude will perform the instructions specified in the comment that tagged it.
+          # prompt: 'Update the pull request description to include a summary of changes.'
+
+          # Optional: Add claude_args to customize behavior and configuration
+          # See https://github.com/anthropics/claude-code-action/blob/main/docs/usage.md
+          # or https://code.claude.com/docs/en/cli-reference for available options
+          # claude_args: '--allowed-tools Bash(gh pr:*)'

fomtools-0.0.1/.github/workflows/docs.yml

@@ -0,0 +1,89 @@
+name: Docs
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+
+permissions:
+  contents: write
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python: [ "3.13" ]
+
+    steps:
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: ${{ matrix.python }}
+
+      - uses: actions/checkout@v4
+
+      - name: Upgrade setuptools/build
+        run: |
+            pip install wheel --upgrade
+            pip install setuptools --upgrade
+            python -m pip install --upgrade build
+
+      - name: Build wheels for package
+        run: python -m build
+
+      - name: Install Package with docs extra
+        run: pip install ."[docs, cvxpygen]"
+
+      - name: List dependencies
+        run: pip freeze
+
+      - shell: bash
+        id: write-license
+        env:
+          LICENSE: ${{ secrets.GUROBI_LICENSE}}
+        run: |
+          echo "$LICENSE" > $PWD/gurobi.lic
+
+      - name: Check Gurobi License
+        env:
+          GRB_LICENSE_FILE: ${{ github.workspace }}/gurobi.lic
+        run: python -c "import gurobipy; gurobipy.Model()"
+
+      - name: Export marimo notebooks
+        env:
+          GRB_LICENSE_FILE: ${{ github.workspace }}/gurobi.lic
+        run: |
+          for file in docs/tutorials/*.py; do
+            marimo export html "$file" -o "${file%.py}.html"
+          done
+
+      - name: Verify html generation
+        run: ls docs/tutorials
+
+      - name: Configure Git Credentials
+        run: |
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
+
+      - name: Set weekly cache ID
+        run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
+
+      - name: Cache MkDocs Material build files
+        uses: actions/cache@v4
+        with:
+          key: mkdocs-material-${{ env.cache_id }}
+          path: ~/.cache
+          restore-keys: |
+            mkdocs-material-
+
+      - name: Build MkDocs site
+        run: mkdocs build
+
+      - name: Deploy to Cloudflare Pages with Wrangler
+        uses: cloudflare/wrangler-action@v4.0.0
+        with:
+          apiToken: ${{ secrets.CLOUDFLARE_API_TOKEN }}
+          accountId: ${{ secrets.CLOUDFLARE_ACCOUNT_ID }}
+          command: deploy

fomtools-0.0.1/.github/workflows/release.yml

@@ -0,0 +1,106 @@
+name: Release to PyPI
+
+# Publishes only when BOTH hold:
+#   1. a tag matching v* is pushed, and
+#   2. the tagged commit is on main.
+# Tag the merge commit on main after the PR is merged, then push the tag.
+
+on:
+  push:
+    tags: ["v*"]
+
+permissions:
+  contents: read
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0  # setuptools_scm needs the history and tags
+
+      - name: Require the tagged commit to be on main
+        run: |
+          git fetch origin main
+          if ! git merge-base --is-ancestor "$GITHUB_SHA" origin/main; then
+            echo "::error::Tag $GITHUB_REF_NAME ($GITHUB_SHA) is not on main; refusing to publish."
+            exit 1
+          fi
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.13"
+
+      - name: Set up uv
+        uses: astral-sh/setup-uv@v6
+        with:
+          version: "0.11.15"
+
+      - name: Build sdist and wheel
+        run: uv build
+
+      - name: Check the built version matches the tag
+        run: |
+          VERSION="${GITHUB_REF_NAME#v}"
+          ls dist
+          test -f "dist/fomtools-${VERSION}.tar.gz" \
+            || { echo "::error::sdist for version $VERSION not found"; exit 1; }
+          test -f dist/fomtools-"${VERSION}"-*.whl \
+            || { echo "::error::wheel for version $VERSION not found"; exit 1; }
+
+      - name: Smoke-test the wheel in a clean venv
+        run: |
+          uv venv /tmp/pkg-test
+          uv pip install --python /tmp/pkg-test/bin/python dist/*.whl
+          /tmp/pkg-test/bin/python -c "
+          import fomtools
+          assert fomtools.__version__ == '${GITHUB_REF_NAME#v}', fomtools.__version__
+          from fomtools.verifier import Verifier
+          Verifier()
+          print('fomtools', fomtools.__version__, 'OK')
+          "
+          /tmp/pkg-test/bin/fomtools-codegen --help
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: dist
+          path: dist/
+
+  publish:
+    needs: build
+    runs-on: ubuntu-latest
+    environment:
+      name: pypi
+      url: https://pypi.org/project/fomtools/
+    permissions:
+      id-token: write  # Trusted Publishing (OIDC); no API token needed
+    steps:
+      - uses: actions/download-artifact@v4
+        with:
+          name: dist
+          path: dist/
+
+      - name: Publish to PyPI
+        uses: pypa/gh-action-pypi-publish@release/v1
+
+  github-release:
+    needs: publish
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/download-artifact@v4
+        with:
+          name: dist
+          path: dist/
+
+      - name: Create GitHub Release
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          gh release create "$GITHUB_REF_NAME" dist/* \
+            --repo "$GITHUB_REPOSITORY" \
+            --title "$GITHUB_REF_NAME" \
+            --generate-notes \
+            --verify-tag

fomtools-0.0.1/.github/workflows/update-skill.yml

@@ -0,0 +1,43 @@
+name: Update FOMTools Skill
+
+on:
+  pull_request:
+    branches: [main]
+    paths:
+      - 'docs/**'
+      - 'fomtools/**'
+      - 'AGENTS.md'
+
+permissions:
+  contents: write
+  pull-requests: write
+  id-token: write
+
+jobs:
+  update-skill:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
+
+      - name: Run Claude Code to update skill
+        id: claude
+        uses: anthropics/claude-code-action@v1
+        with:
+          claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }}
+          prompt_file: skills/update-prompt.md
+
+          allowed_tools: |
+            Bash(git status)
+            Bash(git diff:*)
+            Bash(git log:*)
+            Bash(git add:*)
+            Bash(git commit:*)
+            Bash(find:*)
+            Bash(grep:*)
+            Bash(wc:*)
+            Read
+            Edit
+            Write