Skip to content
This repository was archived by the owner on Jul 3, 2026. It is now read-only.

Update workflow#2

Merged
alexanderlhicks merged 3 commits into
mainfrom
update_workflow
Apr 15, 2026
Merged

Update workflow#2
alexanderlhicks merged 3 commits into
mainfrom
update_workflow

Conversation

@alexanderlhicks

Copy link
Copy Markdown
Owner

No description provided.

alexanderlhicks and others added 3 commits April 15, 2026 22:01
…n tracking

Multi-provider support:
- New llm_provider.py with LLMProvider ABC + GeminiProvider,
  AnthropicProvider, OpenAIProvider implementations
- generate_text() and generate_json() methods with built-in smart
  retry (distinguishes retryable vs fatal errors) and rate limiting
- Factory function create_provider() for provider selection
- Per-provider API key fallbacks (API_KEY -> GEMINI_API_KEY etc.)

Refactored summary.py:
- Replaced Gemini-specific _call_gemini/get_client with _call_llm
  using provider abstraction
- All google.genai imports removed
- Added TokenTracker for cumulative token usage monitoring
- Provider-agnostic env vars: API_KEY, PROVIDER, INPUT_MODEL

Block comment fix:
- New lean_utils.py with is_in_comment() supporting Lean 4 nested
  /- /- ... -/ -/ block comments
- DiffAnalyzer._process_line now tracks comment depth and skips
  sorry/quality signal detection inside block comments
- Previously, sorry inside /- ... -/ would be falsely flagged

Updated action.yml:
- api_key replaces gemini_api_key
- New provider input (gemini, anthropic, openai)
- model replaces gemini_model (now required)

Updated requirements.txt: added anthropic, openai SDKs

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Update to reflect all recent changes:
- Multi-provider support (Gemini, Anthropic, OpenAI)
- Source-level declaration lookup for sorry attribution
- Nested block comment awareness
- Per-file diff truncation at hunk boundaries with coverage notes
- Style check size budgeting
- Per-file summary caching mechanism
- Legacy comment identifier support
- Token usage tracking

Add Project Structure section, prompt placeholder table,
Development section with test/CI docs. Remove stale references
to old Gemini-specific inputs and global diff truncation.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@alexanderlhicks
alexanderlhicks merged commit f99d115 into main Apr 15, 2026
0 of 3 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant