Update README.md

README.md

@@ -1,9 +1,22 @@
 # 🧿 Pipefish
 
 <a href="https://opensource.org/license/mit">
-    <img src="https://img.shields.io/badge/license-MIT-blue">
+    <img src="https://img.shields.io/badge/License-MIT-blue">
 </a>
 
+<a href="https://go.dev/doc/install">
+    <img src="https://img.shields.io/badge/Requires-Go_v._1.22.5+-cyan">
+</a>
+
+<a href="https://github.com/tim-hardcastle/Pipefish/actions?query=workflow%3A%22Go%22">
+    <img src="https://github.com/tim-hardcastle/Pipefish/workflows/Go/badge.svg?branch=main">
+</a>
+
+<a href="https://dune.fandom.com/wiki/Butlerian_Jihad">
+    <img src="https://img.shields.io/badge/🚫_No_AI-Handbuilt_from_`if`_statements-purple">
+</a>
+
+
 ## Welcome to Pipefish!
 
 Welcome to Pipefish, a new programming language. This is version 0.4.9, [a working prototype](https://github.com/tim-hardcastle/Pipefish/blob/main/docs/working-prototype.md); you shouldn't use it in production but it's good enough at this point for you to [install it](https://github.com/tim-hardcastle/Pipefish/wiki/Installing-and-using-Pipefish) and play around with it. (Note: at time of writing, July 30th, I have just changed the main branch from the prototype treewalker to the compiler/vm implementation. It is therefore probably rather flaky and needs me to test it hard for a couple of weeks.)