Add Formal AI provider defaults and setup docs#277
Merged
Conversation
Adding .gitkeep for PR creation (default mode). This file will be removed when the task is complete. Issue: #270
konard
changed the title
Contributor
Author
Working session summaryImplemented and pushed the fix for issue #270. PR: #277 What changed:
Verification:
PR #277 is marked ready for review, and the local worktree is clean. This summary was automatically extracted from the AI working session output. |
Contributor
Author
🤖 Solution Draft LogThis log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
📊 Context and tokens usage:
Total: (445.4K + 8.0M cached) input tokens, 39.2K output tokens, $14.257055 cost 🤖 Models used:
📎 Log file uploaded as Gist (7070KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
Contributor
Author
✅ Ready to mergeThis pull request is now ready to be merged:
Monitored by hive-mind with --auto-restart-until-mergeable flag |
This reverts commit d9f4659.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes #270
Summary
formal-ai,formal-ai/formal-ai,@link-assistant/formal-ai, andformalai/formal-ai.FORMAL_AI_BASE_URLandFORMAL_AI_API_KEYsupport for local, remote, and bearer-token-protected Formal AI servers.docs/formal-ai.md, with links from the main docs.Reproduction
Before this change,
agent --model formal-aifailed with:Users had to supply a manual OpenAI-compatible provider config. With this PR, Agent resolves the Formal AI selectors by default and sends requests to the canonical server model id
formal-ai.Verification
cd js && bun test ./tests/formal-ai-provider.tscd js && bun test ./tests/formal-ai-provider.ts ./tests/compaction-model.tscd js && npm test(605 pass,4 todo,0 fail)cd js && npm run checkformal-ai serve --agent-mode --host 127.0.0.1 --port 18080, including:GET /healthGET /api/openai/v1/models@link-assistant/formal-ai--model formal-aiand--model @link-assistant/formal-aiNotes
link-assistant/formal-airemains intentionally undocumented as an Agent selector becauselink-assistantis already an internal Agent provider namespace. The documented scoped selector is@link-assistant/formal-ai.