PulseGateIndexCategoriesUpdatesLive intelligence on AI-era software— indexed in the last hour
Coverage—in the index
Freshness—newest listing
Cadence—last week average · — today
Index9 markets86 categories
PulseGate

Live intelligence on the AI-era software market — apps, models, agents and infrastructure.

Most of it never reaches an official store. PulseGate maps the whole market — every category, worldwide — and measures how it moves: what’s launching, what’s gaining, what’s going quiet.

FollowGitHubX (Twitter)LinkedIn
Platform
All AppsFull IndexCategoriesIndustry UpdatesData SourcesCoverage RulesGlossaryEmbed Widget
Support
Help CenterSubmit your projectReport an Issue
Company
AboutDimaxiaPress & DataContactPlatform Status
Legal
PrivacyTermsDisclaimer
Dimaxia · Dymaxio s.r.o. · Prague, Czechia · © 2026WatchlistSitemapSystem status
PulseGateTYtypecheck-runner
Visit↗
Skip to content
  1. Index›
  2. Other dev tools›
  3. typecheck-runner
← Back to the index
TY

typecheck-runner

PyPI·Infrastructure

typecheck-runner is an open-source CLI tool that provides a unified API for running multiple typecheckers on codebases. It simplifies typechecking workflows for developers by consolidating different tools into a single command-line interface.

Open SourceNIST-PDCLI
Visit PyPI↗

Overview

3 features

typecheck-runner sits in PulseGate's Other dev tools category. It focuses on streamlining the process of running multiple typecheckers on codebases through a single unified interface. It is built as an open-source project for software developers and engineers. The project is open source (NIST-PD). typecheck-runner is available on the command line.

typecheck-runner first shipped in 2026. Among its 3 catalogued features are unified typechecking, multiple typechecker support, and CLI interface.

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

  • ✓Unified typechecking
  • ✓Multiple typechecker support
  • ✓CLI interface
Tags
typecheckingcli-toolmulti-language-support
AI capabilities
Weights: Open

Built with & integrations

Runs on
CLI

Trust & compliance

License
NIST-PD
Verified signals
✓HTTPS✓Open Source✓Free tier

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed29 Jun · 13:42 UTC
    Listing verified against its public source
    Source: PulseGate · Open ↗

Frequently asked questions about typecheck-runner

What is typecheck-runner?
Typecheck-runner focuses on streamlining the process of running multiple typecheckers on codebases through a single unified interface. It is catalogued under Other dev tools on PulseGate.
Who should use typecheck-runner?
typecheck-runner is an open-source project built for software developers and engineers.
Does typecheck-runner have a free plan?
Yes — typecheck-runner is open source under the NIST-PD license and free to use.
What platforms does typecheck-runner run on?
typecheck-runner runs on the command line.
Is typecheck-runner still maintained?
Unverified. typecheck-runner 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.
What are alternatives to typecheck-runner?
Similar projects tracked by PulseGate include git-build-commit, funkuino, and click-docs.git-build-commitfunkuinoclick-docs
When did typecheck-runner launch?
typecheck-runner first shipped in 2026.
Is typecheck-runner open source?
Yes — typecheck-runner is open source under the NIST-PD license.

At a glance

Platforms
Cli
Languages
English
License
NIST-PD
Built for
software developers and engineers
Model
Open source
Solves
Streamlining the process of running multiple typecheckers on codebases through a single unified interface.

Registered as

PyPI
typecheck-runner

Developer

Williampkrekelberg

Live coverage

Identity confidence
Low · 64
Indexed
29 Jun 2026
Lifecycle
Unverified
Last seen
29 Jun 2026
Identity audit (12)
Slug
typecheck-runner-pypi-org
Verification state
Indexed for public listing
Listing state
Listed: yes
Index status
Included in index
Latest evidence snapshot
29 Jun 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
Written by a language model from the project's public pages.
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
29 Jun 2026
Canonical URL
https://pypi.org/project/typecheck-runner

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

Also in Other dev tools

Same category — not a similarity match

  • GIgit-build-commitpypi.org
  • FUfunkuinopypi.org
  • CLclick-docsgithub.com
  • CNcnpj-valpypi.org
  • CNcnpj-genpypi.org
  • PRpre-commit-vauxoopypi.org