From 0be1a7fd79c080593730610fbbc22b9c60a4ee88 Mon Sep 17 00:00:00 2001
From: tobjend <tobend85@gmail.com>
Date: Wed, 1 Jul 2026 15:24:00 +0200
Subject: [PATCH] docs: badges row, nav links, language tags on code blocks

---
 README.md | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index f3dc0e0..4cbb127 100644
--- a/README.md
+++ b/README.md
@@ -3,8 +3,14 @@
 <p align="left">
   <img src="dervish-logo.png" alt="Dervish" width="180">
 </p>
-<p align="left">
+<p align="center">
+  <img src="https://img.shields.io/badge/license-MIT-blue" alt="License">
+  <img src="https://img.shields.io/badge/python-3.10%2B-blue" alt="Python 3.10+">
   <img src="https://ci.corentic.eu/api/badges/7/status.svg" alt="CI Pipeline Status">
+  <br>
+  <a href="SHOWCASE.md">Showcase</a> ·
+  <a href="#quick-start">Usage</a> ·
+  <a href="#papers">Papers</a>
 </p>
 
 **Dervish** infers **regular expression grammars** from example sequences using the BEX family of algorithms. Given a set of example sequences (strings over some alphabet), it learns a compact regular expression that captures the general pattern.
@@ -53,7 +59,7 @@ The primary interface is a **Model Context Protocol (MCP)** server. Connect any
 
 An LLM agent uses the MCP to discover an unwritten convention from existing examples — compressing hundreds of files into a single ~60-token rule:
 
-```
+```text
 User: Generate a new Ansible role for installing PostgreSQL.
 
 Agent: Let me check what pattern the existing community roles follow.
@@ -164,7 +170,7 @@ Across all public benchmarks, Dervish delivers **40–83× compression**. The gr
 
 ## How MDL scoring works
 
-```
+```text
 MDL = model_cost + data_cost
 ```