Who should use crosshair-pycharm?

crosshair-pycharm is a B2B product built for python developers using PyCharm.

Does crosshair-pycharm have a free plan?

Yes — crosshair-pycharm is free to use.

What platforms does crosshair-pycharm run on?

crosshair-pycharm runs on the web, macOS, Windows, and Linux.

Is crosshair-pycharm still active?

Unverified. crosshair-pycharm has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

Who develops crosshair-pycharm?

crosshair-pycharm is developed by JetBrains Marketplace.

When did crosshair-pycharm launch?

crosshair-pycharm first shipped in 2022.

Back to the index

crosshair-pycharm

Name: crosshair-pycharm
Author: JetBrains Marketplace

jetbrains.comOther dev tools

crosshair-pycharm is a PyCharm plugin that brings CrossHair symbolic execution into the IDE. It helps Python developers analyze code and identify potential contract violations or errors during development.

FreeWebmacOSWindowsLinux

Visit jetbrains.com

Overview

4 features

crosshair-pycharm is an Other dev tools project. It focuses on finding potential Python errors through symbolic execution inside PyCharm. crosshair-pycharm is a B2B product aimed at python developers using PyCharm. It is available for free. It ships for the web, macOS, Windows, and Linux.

JetBrains Marketplace builds and maintains crosshair-pycharm, and it first shipped in 2022. Among its 4 catalogued features are IDE integration, symbolic execution, and python analysis.

Summary written by a language model from the project’s public pages.

IDE integration
Symbolic execution
Python analysis
Code inspection

Built with & integrations

Hosting

AWS

Runs on

BrowsermacOSWindowsLinux

Detected from

AWS: x-amz-cf-id header · x-amz-cf-pop header · via header

Trust & compliance

Verified signals

HTTPSFree tier

Indexing history

What PulseGate has recorded for this listing

Indexed9 Sept · 23:00 UTC
crosshair-pycharm verified via JetBrains Plugins
Source: JetBrains Plugins · Open

Frequently asked questions about crosshair-pycharm

What is crosshair-pycharm?: Crosshair-pycharm focuses on finding potential Python errors through symbolic execution inside PyCharm. It is catalogued under Other dev tools on PulseGate.
Who should use crosshair-pycharm?: crosshair-pycharm is a B2B product built for python developers using PyCharm.
Does crosshair-pycharm have a free plan?: Yes — crosshair-pycharm is free to use.
What platforms does crosshair-pycharm run on?: crosshair-pycharm runs on the web, macOS, Windows, and Linux.
Is crosshair-pycharm still active?: Unverified. crosshair-pycharm has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
Who develops crosshair-pycharm?: crosshair-pycharm is developed by JetBrains Marketplace.
When did crosshair-pycharm launch?: crosshair-pycharm first shipped in 2022.

At a glance

Platforms: Web
Languages: English
Built for: Python developers using PyCharm
Model: B2B
Solves: Finding potential Python errors through symbolic execution inside PyCharm.

Registered as

JetBrains Marketplace: 16266

Developer

JetBrains Marketplace

Index record

Indexed: 9 Sept 2026
Lifecycle: Alive
Last seen: 9 Sept 2026

Identity audit (13)

Slug: crosshair-pycharm-jetbrains-com
Lifecycle state recorded: 9 Sept 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 9 Sept 2026
Timeline basis: Indexed-at chronology. This listing's first-seen date was written by the catalog backfill, not observed here, so it is not treated as a sighting.
Name from: Derived from the project's own page and URL.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 9 Sept 2026
Canonical URL: https://plugins.jetbrains.com/plugin/16266-crosshair-pycharm

Ship this? Send a correction — no account, and you get a link to follow it.

Similar projects

Closest matches by what these projects do

icontract-hypothesis-pycharmjetbrains.com