Skip to content

Conversation

@ryoppippi
Copy link
Member

@ryoppippi ryoppippi commented Dec 19, 2025

add basedpyright for lsp


Summary by cubic

Adds basedpyright to the Nix devShell for Python type checking in IDEs. Complements existing mypy hooks with fast, real-time feedback.

Written for commit c24874e. Summary will update automatically on new commits.

Added basedpyright as a build input to the Nix devShell to provide
IDE support for Python type checking. This tool complements the
existing mypy hooks and improves developer experience with real-time
type feedback in editors.
Copilot AI review requested due to automatic review settings December 19, 2025 14:27
@ryoppippi ryoppippi enabled auto-merge (squash) December 19, 2025 14:29
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR adds basedpyright (a Python type checker and language server) to the Nix development shell to provide real-time type checking feedback in IDEs. This complements the existing mypy configuration which runs as a pre-commit hook.

Key Changes:

  • Added basedpyright package to the devShell buildInputs in flake.nix

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

nixfmt-rfc-style
typos
typos-lsp
basedpyright
Copy link

Copilot AI Dec 19, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Adding basedpyright to the development shell without corresponding configuration may lead to inconsistent type checking behavior. The project already has comprehensive mypy configuration in pyproject.toml (lines 99-125) but lacks any basedpyright configuration. Consider adding a [tool.basedpyright] section to pyproject.toml or a pyrightconfig.json file to ensure basedpyright uses settings consistent with your existing mypy configuration (such as Python version 3.10, strict type checking settings, and module ignore patterns for bm25s, langgraph, and mcp).

Suggested change
basedpyright

Copilot uses AI. Check for mistakes.
Copy link

@cubic-dev-ai cubic-dev-ai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No issues found across 1 file

Copy link
Contributor

@glebedel glebedel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ryoppippi ryoppippi merged commit b2a3b70 into main Dec 19, 2025
17 checks passed
@ryoppippi ryoppippi deleted the chore/add-basedpyright-to-devshell branch December 19, 2025 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants