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
README.md	2026-10-01	1.1 kB	0
v3.1.1 source code.tar.gz	2026-10-01	2.4 MB	0
v3.1.1 source code.zip	2026-10-01	2.6 MB	0
Totals: 3 Items		5.0 MB	0

3.1.1 (2026-10-01)

Bug Fixes

drop target tool options so providers cannot run tools server-side (#170) (81952b5)
reject seed tool definitions with unknown or misspelled keys (#153) (8c78e91)
scope the auditor timeline to the auditor span (#152) (a9ecd98)
tolerate CRLF and whitespace in front matter fences (#148) (656fc7c)

Source: README.md, updated 2026-10-01

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start 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.
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.
iFixAi
Independent Auditing of AI Agents