simba SKILL.md skillA

simba from ahoo-wang/skills is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add ahoo-wang/skills/simba@git:20261020.70a133f

Pins git:20261020.70a133f in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
ahoo-wang/skills
Path
sources/Simba/skills/simba/SKILL.md
Versions recorded
11
Latest version
git:20261020.70a133f, committed Oct 20, 2026
First version recorded
May 27, 2026
Size
9,781 bytes
Repository stars
2
License
Apache-2.0

Guide for using Simba 5, the JVM leader-election and distributed-lock library, in applications. Use when adding leader election, leader-only work (runWhileLeader, schedule, @SimbaScheduled), partitioned work (group, @SimbaPartitioned), distributed locks (lock / LockTerm), configuring the JDBC (MySQL, PostgreSQL), Redis or Zookeeper backend, integrating with Spring Boot, using fencing tokens, tuning session timing, or migrating from Simba 4.x. For test-focused work, use the simba-testing skill…

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Simba 5 — Sessions, Leases and Terms

Simba gives JVM applications leader election and distributed locks over a backend they already run: MySQL 8 or
PostgreSQL 14+ (`simba-jdbc`), Redis 7 (`simba-redis` + `simba-spring-redis`) or Zookeeper (`simba-zookeeper`).
Java 21+; the starter needs Spring Boot 4 (4.1+); Kotlin users need Kotlin 2.2+. Full docs: https://simba.ahoo.me/.

## Model in Five Lines

1. One `Simba` client per process opens **one session** on the backend and keeps it alive every `renewInterval`.
2. Elections, locks and partition groups contend for **leases** (names of 1–128 chars `[A-Za-z0-9._:-]`) attached to
   that session; the session expiring frees them all.
3. Winning a lease gives a **`Term`**: `name`, `token` (fencing token, strictly increasing per name), `isValid`,
   `remaining()`, `ensureValid(min)`, `revoked`.
4. Every `onElected(term)` is followed by exactly one `onRevoked(term, reason)`.
5. A term is a *weakly consistent* view. Never promise "no split-brain": a paused process can still write after its
   term ended. Resources that must reject stale writers check `term.token` (accept `>=` highest, reject lower,
   atomically with the write).
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add ahoo-wang/skills/simba@sha256:383a692afd51d4d2

The line at the top of this page pins the label git:20261020.70a133f, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_lmducwrfx6sp32ew.svg)](https://markdownregistry.com/a/art_lmducwrfx6sp32ew)

4 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 11 versions of this file, between May 27, 2026 and Oct 20, 2026, about one every 15 days.

versioncommittedcommitsizeaudit
git:20261020.70a133f latest2026-10-20 70a133f 9,781 BA view · diff
git:20261019.d0213532026-10-19 d021353 8,608 BA view · diff
git:20261019.4e018172026-10-19 4e01817 8,474 BA view · diff
git:20261013.0496a702026-10-13 0496a70 13,451 BA view · diff
git:20261012.0c008842026-10-12 0c00884 13,451 BA view · diff
git:20261010.7e973372026-10-10 7e97337 13,346 BA view · diff
git:20261010.4fd6ec92026-10-10 4fd6ec9 12,882 BA view · diff
git:20260821.ec5fc282026-08-21 ec5fc28 12,958 BA view · diff
git:20260818.7aa53a52026-08-18 7aa53a5 12,958 BA view · diff
git:20260818.2ff7b222026-08-18 2ff7b22 12,958 BA view · diff
git:20260527.808710c2026-05-27 808710c 11,231 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (9781 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

ahoo-wang/skills · 2 stars · license Apache-2.0 · pushed 2026-11-05 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_lmducwrfx6sp32ew
GET https://markdownregistry.com/api/v1/resolve?ref=ahoo-wang/skills/simba
GET https://markdownregistry.com/api/v1/blob/383a692afd51d4d2f62790286f733d30913d20408439f76f5430175f95fd3d61

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from ahoo-wang/skills

AGENTS.md AGENTS.md file
ahoo-wang/skills · AGENTS.md
git:20261008.51694f7 · audit A · 2 stars
CLAUDE.md CLAUDE.md file
ahoo-wang/skills · CLAUDE.md
git:20260527.808710c · audit A · 2 stars
agent-system-prompt SKILL.md skill
ahoo-wang/skills · plugins/ahoo-agent-skills/skills/agent-system-prompt/SKILL.md · Use this skill when the user needs to write the actual instructional text that defines how an AI agent behaves. This is…
git:20260527.808710c · audit A · 2 stars
coapi-developer SKILL.md skill
ahoo-wang/skills · plugins/ahoo-coapi-skills/skills/coapi-developer/SKILL.md · Help developers use and maintain CoApi, a Spring HTTP Interface client auto-configuration library for typed…
git:20261010.7e97337 · audit A · 2 stars
cocache-develop SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cocache-skills/skills/cocache-develop/SKILL.md · Build, test, review or debug CoCache usage in downstream Java/Kotlin applications with me.ahoo.cocache imports or…
git:20261104.ba3fe59 · audit A · 2 stars
cocache-extend SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cocache-skills/skills/cocache-extend/SKILL.md · Implement or fix a CoCache CoherenceBackend (L1Store or FutureL1Store, plus InvalidationChannel) outside the CoCache…
git:20261104.ba3fe59 · audit A · 2 stars
cosec-custom-matcher SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cosec-skills/skills/cosec-custom-matcher/SKILL.md · Extend CoSec 8.0 with Spring beans - AttributeProvider (external ext.* attributes fetched per request)…
git:20261029.b6d8370 · audit A · 2 stars
cosec-integration SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cosec-skills/skills/cosec-integration/SKILL.md · Integrate CoSec 8.0 into a Spring Boot service - choose the CoSec modules to add next to the starter (WebFlux, WebMVC…
git:20261103.b03b7c5 · audit A · 2 stars
cosec-policy-author SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cosec-skills/skills/cosec-policy-author/SKILL.md · Write, review, validate, or explain CoSec 8.0 policy documents (platform, app and tenant documents) - policies and…
git:20261105.70ae746 · audit A · 2 stars
cosec-troubleshoot SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cosec-skills/skills/cosec-troubleshoot/SKILL.md · Diagnose CoSec 8.0 failures - startup failures (unknown cosec.* keys, pipeline mode, Redis eviction check, missing…
git:20261105.70ae746 · audit A · 2 stars
cosid-manual-integration SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cosid-skills/skills/cosid-manual-integration/SKILL.md · Integrate CosId 5 programmatically into Java or Kotlin applications without Spring Boot. Use for building a RuntimeSpec…
git:20261029.b6d8370 · audit A · 2 stars
cosid-sharding SKILL.md skill
ahoo-wang/skills · plugins/ahoo-cosid-skills/skills/cosid-sharding/SKILL.md · Design, implement, and validate database sharding with the cosid-sharding module (ModCycle, IntervalTimeline…
git:20261027.4a2e10f · audit A · 2 stars

Every file in ahoo-wang/skills

Other files named simba

simba SKILL.md skill
ahoo-wang/skills · plugins/ahoo-simba-skills/skills/simba/SKILL.md · Guide for using Simba 5, the JVM leader-election and distributed-lock library, in applications. Use when adding leader…
git:20261020.70a133f · audit A · 2 stars

Browse by kind, by grade A, or by owner.