Agents/23 on duty
Micro Agents
Each of my Rust crates on crates.io, recast as an agent with one job. Open a profile to see what it does, how to call it, and its live numbers.
Live from crates.io and GitHub · updated 2026-10-31 16:11 UTC
The roster
One agent per crate family. Each has a single job; open a profile for what it does, how to call it, and its numbers.
-
System 2024squadleader
Types and rules for small-unit infantry combat.
v0.0.6 -
System 2026minifix
Bare-essentials FIX: parse and build trading messages.
v0.3.0Systemminifix
Bare-essentials FIX: parse and build trading messages.
Parses, manipulates and generates FIX protocol messages (FIX 4.0 to 4.4), with codegen, derive, dictionary and SOFH crates in its squad.
- Parse FIX messages from an exchange or broker connection.
- Generate typed FIX messages from a dictionary.
- Frame FIX messages over TCP with the Simple Open Framing Header (SOFH).
-
AI 2026agentdb
One trait for agent storage, whatever database sits behind it.
v0.2.1AIagentdb
One trait for agent storage, whatever database sits behind it.
Gives AI agents a single storage trait so the same agent code runs on SQLite, PostgreSQL or MySQL.
- Write agent code once and choose SQLite in development, PostgreSQL in production.
- Put a stable interface between agent logic and storage so backends can change later.
- Implement the trait for a new backend and every agent using
agentdbgets it.
-
AI 2026agentsql
SQLite, PostgreSQL and MySQL behind one agent storage API.
v0.2.1AIagentsql
SQLite, PostgreSQL and MySQL behind one agent storage API.
Implements the agentdb trait for SQLite, PostgreSQL and MySQL with SQLx, including automatic schema migrations.
- Use SQLite while developing and PostgreSQL in production without code changes.
- Let migrations keep an agent’s database schema current.
- Back agentfs with a real SQL database.
-
Uncategorized 2026stalmarck
A crate implementing Stålmarck's method for efficiently proving propositional logic formulas and verifying logical validity.
v0.4.0 -
AI 2026agentfs
A POSIX-like filesystem for agents, with tool calls audited.
v0.2.1AIagentfs
A POSIX-like filesystem for agents, with tool calls audited.
Gives an AI agent a persistent workspace (files, key-value store and a tool-call audit log) on top of a SQL database.
- Give each agent an isolated workspace that survives restarts.
- Store the files an agent generates next to its key-value state.
- Audit every tool call an agent made in a session.
-
AI 2026jax-rs
JAX and NumPy in Rust, with WebGPU acceleration.
v0.5.3AIjax-rs
JAX and NumPy in Rust, with WebGPU acceleration.
Provides a JAX/NumPy-style array API in Rust with automatic differentiation and WebGPU acceleration.
- Train a small neural network in Rust with autodiff.
- Speed up matrix work, convolutions and FFTs on the GPU through WebGPU.
- Port NumPy-style numerical code to Rust.
-
Programming 2026heuristics
Searchable rules of thumb for choosing data structures and algorithms in Rust.
v0.1.1Programmingheuristics
Searchable rules of thumb for choosing data structures and algorithms in Rust.
Provides a searchable collection of computer-science and Rust heuristics, each with a concrete crate or std recommendation.
- Look up which collection to use before writing it.
- Search heuristics by keyword, crate or category.
- Bring rules of thumb into a code review.
-
System 2026curfew
Runs work in parallel and keeps only what finishes before the deadline.
v0.0.6Systemcurfew
Runs work in parallel and keeps only what finishes before the deadline.
Spawns tasks across threads, joins at an absolute deadline, and collects only the results that arrived in time.
- Gather quotes or results from several sources and answer on time with whatever arrived.
- Keep the real-time part of a program moving when some workers are slow.
- Use the optional Tokio feature for async tasks.
-
Mathematics 2026putnam
Utilities for agents that try to solve Putnam competition problems.
v0.1.1 -
Uncategorized 2026agenticon
agenticon is a library built around custom generation of identicon images for AI agents.
v0.2.0 -
Programming 2026cargo-perspective
Shows which dependencies your code actually calls, as a treemap.
v0.1.1Programmingcargo-perspective
Shows which dependencies your code actually calls, as a treemap.
Scans a Rust project's source and draws an interactive treemap of how often each dependency is called (not just declared).
- Find dependencies that are declared but barely used.
- See at a glance which crates your project leans on most.
- Check a dependency diet before a release.
-
AI 2026agentsmith
Persistent, searchable memory for Rig agents, so they never forget a conversation.
v0.1.2AIagentsmith
Persistent, searchable memory for Rig agents, so they never forget a conversation.
Wraps Rig agents with a memory layer that records every conversation to SQLite with full-text, fuzzy search, inspired by Atuin.
- Give a Rig agent memory of earlier conversations after a restart.
- Search past agent conversations by keyword, like shell history.
- Attach metadata to conversations and filter on it later.
-
Programming 2026alarm
Raise alarms by level and frequency, the way `log` raises messages.
v0.0.5Programmingalarm
Raise alarms by level and frequency, the way `log` raises messages.
Provides a type system and a procedural macro for declaring alarms with levels and frequencies, following the EE191 standard.
- Declare alarm types with levels, like log levels, through a macro.
- Model alarm-system behaviour in a type-checked way.
-
System 2026graph_mvcc
A transactional graph with snapshot isolation (multiversion concurrency control).
v0.2.1Systemgraph_mvcc
A transactional graph with snapshot isolation (multiversion concurrency control).
Implements an MVCC graph database: nodes and edges in transactions with snapshot isolation and conflict detection.
- Run concurrent transactions on a graph without readers seeing half-written state.
- Study how MVCC works in a small, readable implementation.
-
Language 2026pgf2json
Loads compiled GF grammars (PGF) and turns them into JSON.
v0.2.5Languagepgf2json
Loads compiled GF grammars (PGF) and turns them into JSON.
Reads Portable Grammar Format files from the GF compiler and produces JSON, for embedding GF grammars in Rust and web programs.
- Inspect a compiled GF grammar as JSON.
- Ship a GF grammar to a web front end.
-
Uncategorized 2026dilemma
Generic engine for the dilemma rule of Stalmarck's method: n-saturation over user-defined logic states.
v0.1.0 -
System 2026harel
Parses, validates and writes SCXML statecharts.
v0.1.0Systemharel
Parses, validates and writes SCXML statecharts.
Reads W3C SCXML statecharts into typed Rust structures, checks they are well formed, and writes them back out.
- Lint
.scxmlfiles in CI. - Feed statecharts into a model checker or code generator.
- Round-trip statecharts between tools.
- Lint
-
Programming 2026cargo-x402
Scaffolds x402 projects from templates with one cargo command.
v0.5.1Programmingcargo-x402
Scaffolds x402 projects from templates with one cargo command.
Creates new Rust projects for the x402 payment protocol from official and community templates.
- Start an x402 project from a maintained template instead of from scratch.
- Share your own project template with the community.
-
Language 2026gf-core
Runs Grammatical Framework grammars in Rust, no Haskell server needed.
v0.3.0Languagegf-core
Runs Grammatical Framework grammars in Rust, no Haskell server needed.
Parses and linearizes text with pre-compiled GF (PGF) grammars in pure Rust.
- Parse controlled natural language into a structured tree.
- Translate between languages with one shared grammar.
- Build a command-line tool that understands natural-language commands.
-
Language 2026isu
Dialogue management with Information State Update theory.
v0.1.6 -
AI 2026xfiles
Uses X (Twitter) as a public, append-only filesystem for agents.
v0.4.5AIxfiles
Uses X (Twitter) as a public, append-only filesystem for agents.
Stores files as tweets and changes as replies on X, with a local SQLite index for fast lookups.
- Give an AI agent a publicly verifiable log of its state.
- Run creative experiments with a social network as storage.
-
Mathematics 2025foras
A first-order theorem prover in Rust, a faithful port of a classic C prover. More on Foras.
v0.4.0Mathematicsforas
A first-order theorem prover in Rust, a faithful port of a classic C prover. More on Foras.
Searches for a contradiction from axioms and a negated goal, by resolution and paramodulation, and prints the proof or reports that the search saturated.
- Prove a first-order claim, or show that no proof exists within the search.
- Check an LLM’s formalisation: the verifying half of generate, then verify.
- Run the classic prover’s input files: 70 of its 81 reference examples give identical searches.
v0.4.0 -
AI 2025ripley
A daemon that keeps checking whether an LLM coding agent is still trying. Ripley on GitHub.
AIripley
A daemon that keeps checking whether an LLM coding agent is still trying. Ripley on GitHub.
Runs small, deterministic test tasks against the Claude Code CLI on a schedule, scores each run on correctness, tokens and time, and flags when the pass rate drops.
- Notice when a coding model quietly gets worse from one week to the next.
- Benchmark on a token budget (200 tokens by default), so monitoring stays cheap.
- Keep every run in SQLite, with rolling statistics over the last runs.
No agent matches that search.
Fleet stats
All 27 crates together, first published December 2024. Latest release: stalmarck v0.4.0 on 31 October 2026.
Downloads per day
Last 90 days, all agents · 538 total · peak 191 in a day
3 Aug → today. Dashed line = peak.
Releases per month
Last 24 months, every crate · tallest bar 45
Show as table
| Month | Releases |
|---|---|
| 2024-11 | 0 |
| 2024-12 | 3 |
| 2025-01 | 0 |
| 2025-02 | 0 |
| 2025-03 | 0 |
| 2025-04 | 0 |
| 2025-05 | 0 |
| 2025-06 | 0 |
| 2025-07 | 0 |
| 2025-08 | 0 |
| 2025-09 | 0 |
| 2025-10 | 0 |
| 2025-11 | 0 |
| 2025-12 | 0 |
| 2026-01 | 0 |
| 2026-02 | 0 |
| 2026-03 | 0 |
| 2026-04 | 0 |
| 2026-05 | 0 |
| 2026-06 | 0 |
| 2026-07 | 0 |
| 2026-08 | 0 |
| 2026-09 | 0 |
| 2026-10 | 45 |
Most downloaded
All-time downloads, top 8
Recently released
Newest versions on crates.io
- stalmarck v0.4.031 Oct 2026
- dilemma v0.1.029 Oct 2026
- agenticon v0.2.027 Oct 2026
- jax-rs v0.5.325 Oct 2026
- agentdb v0.2.115 Oct 2026
- agentfs v0.2.115 Oct 2026
Reach
Who builds on the fleet
- Dependent crates
- 8
- GitHub stars
- 0
- Domains
- 6
- Releases
- 48
How an agent is made
Publishing a crate is enough. The rest is a pipeline that runs before every deploy.