PulseGateIndexCategoriesUpdatesLive intelligence on AI-era software— indexed in the last hour
Coverage—projects tracked
Freshness—newest entry
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
PulseGateRUrunproof
Visit↗
Skip to content
  1. Index›
  2. Developer Tools›
  3. runproof
← Back to the index
RU

runproof

PyPI·Infrastructure

Runproof allows developers to run coding agents (such as those powered by Claude or other LLMs) unattended in an isolated git worktree. It automatically executes user-defined verification checks and only accepts the generated changes if all checks pass. This provides a safe, automated harness for autonomous coding agents, preventing unverified code from being merged.

Open SourceMITCLISelf-hosted
Visit PyPI↗

Overview

5 features

runproof is a Developer Tools project. It focuses on verifying and safely accepting the output of autonomous coding agents without manual oversight or risk of introducing broken code. runproof is an open-source project aimed at developers. The project is open source (MIT). runproof is available on the command line, and it can be self-hosted.

Behind runproof is CAOShurong, and it first shipped in 2026. Development happens publicly on GitHub with 10 commits in the last 90 days. Among its 5 catalogued features are Isolated Worktree, Automated Checks, and Agent Verification.

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

  • ✓Isolated Worktree
  • ✓Automated Checks
  • ✓Agent Verification
  • ✓Unattended Execution
  • ✓Git Integration
Tags
coding-agentgit-worktreeagent-harnessautonomous-verificationllm-agent

Built with & integrations

Runs on
CLISelf-hosted

Trust & compliance

License
MIT
Verified signals
✓HTTPS✓Open Source✓GitHub✓Active maintenance

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed4 Aug · 11:14 UTC
    runproof verified against its public source
    Source: PulseGate · Open ↗

Frequently asked questions about runproof

What is runproof?
Runproof focuses on verifying and safely accepting the output of autonomous coding agents without manual oversight or risk of introducing broken code. It is catalogued under Developer Tools on PulseGate.
Who should use runproof?
runproof is an open-source project built for developers.
Is runproof free?
Yes — runproof is open source under the MIT license and free to use.
What platforms does runproof run on?
runproof runs on the command line. It can also be self-hosted.
Is runproof still active?
The GitHub repository shows 10 commits in the last 90 days.
What projects are similar to runproof?
Similar projects tracked by PulseGate include EfficiencyNext Data Connector, System Information Widgets, and CKB.EfficiencyNext Data ConnectorSystem Information WidgetsCKB
Who develops runproof?
runproof is developed by CAOShurong.
How long has runproof been around?
runproof first shipped in 2026.

At a glance

Platforms
Cli
Languages
English
Open source
Yes (GitHub)
License
MIT
First seen
4 Aug 2026
Built for
developers
Model
Open source
Solves
Verifying and safely accepting the output of autonomous coding agents without manual oversight or risk of introducing broken code.

Registered as

GitHub
CAOShurong/runproof
PyPI
runproof

Developer

CAOShurong
Solo developer
↗ GitHub

Open source

View on GitHub →
Stars
0
Forks
0
Open issues
0
Last commit
4 Aug 2026
Commits 90d
10
Contributors
1
Authorship
Solo
Default branch
main
Latest release
v0.1.0 · 4 Aug 2026

Live coverage

Identity confidence
Low · 64
Indexed
4 Aug 2026
Lifecycle
Alive
First seen
Aug 2026
Last seen
4 Aug 2026
Identity audit (13)
Slug
runproof-pypi-org
Lifecycle state recorded
4 Aug 2026
Verification state
Indexed for public listing
Listing state
Listed: yes
Index status
Included in index
Latest evidence snapshot
4 Aug 2026
Timeline basis
Indexed-at chronology (no inferred launch/funding milestones).
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
4 Aug 2026
Canonical URL
https://pypi.org/project/runproof

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

Also in Developer Tools

Same category — not a similarity match

  • EDEfficiencyNext Data Connectorwordpress.org
  • SISystem Information Widgetsmicrosoft.com
  • CKCKBcodeknowledge.dev
  • GIGITVERSEgitverse.id
  • BABackback.engineering
  • DOdocrepair-toolspypi.org