Inspect Petri Files

An alignment auditing agent capable of exploring alignment hypothesis

This is an exact mirror of the Inspect Petri project, hosted at https://github.com/meridianlabs-ai/inspect_petri. SourceForge is not affiliated with Inspect Petri.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
3.0.11 source code.tar.gz	2026-06-08	2.4 MB	0
3.0.11 source code.zip	2026-06-08	2.6 MB	0
README.md	2026-06-08	226 Bytes	0
Totals: 3 Items		4.9 MB	0

Baseline release for the tag 3.0.11 (published to PyPI 2026-06). Created to establish the Release Please baseline; earlier 3.0.x releases were git tags only. Release notes are managed by Release Please from this point forward.

Source: README.md, updated 2026-06-08

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Secure File Transfer for Windows with Cerberus by Redwood

Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.

Try for Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Get Started Free

Recommended Projects

Platform Independent Petri Net Editor
IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London.
Petri-LLD
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
VisualPetri
VisualPetri is Petri net editor for Windows platform based on GDI Plus library with an integrated simulator. Note: a Petri net is one of several mathematical representations of discrete distributed systems.
FOREVER
FOREVER is an environment to translate UML Sequence Diagrams to Petri Nets and ckeck system properties with SMV. The tool receives as input sequence diagrams of UML and provides the Petri net in three different formats: APNN, PNML and SMV .
JFern, Java-based Petri Net framework
Rakiura JFern - lightweight Petri Net framework. Engine with the GUI simulator, written in Java and designed for Java developers. Supports multiple inscription languages: Java, Kawa, BeanShell and Clojure.

Inspect Petri Files

An alignment auditing agent capable of exploring alignment hypothesis

Get an email when there's a new version of Inspect Petri