Queue research questions with /queue; they run when your usage limits reset overnight. Requires the claude-overnight CLI (uv tool install claude-overnight).
★not rated 11▲
+1 1mo agoA
tokens not measured
originalMIT
Aristotle AI integration for Lean 4 formalization and code verification. Formalizes mathematical proofs and verifies algorithm correctness with 96.8% accuracy on VERINA benchmark.
★not rated 11▲
+1 8mo agoA
tokens not measured
originalMIT
AI Traffic Control — inspect and govern AI prompts in Claude Code. Detection runs locally; events are recorded to a local SQLite store on your machine.
★not rated 11
changed 3d agoA
tokens not measured
originalApache-2.0
Governed long-term memory over a markdown vault: raw sources stay immutable, conclusions are compiled with provenance, and nothing is deleted - it is superseded. Requires EXOMEMVAULTPATH to point at your vault; run exomem setup if you do not have one yet.
★not rated 11▲
+1
changed yesterdayA
tokens not measured
AGPL-3.0
A polygraph for your state machine. The agent does the hard part for you: it instruments your code, builds any test doubles needed to run it, and captures real execution traces — then has an LLM derive a transition-function spec from the source (default: a SAM v2 strict-profile module with named…
★not rated 11 2d agoA
tokens not measured
originalApache-2.0
Route every coding task to the most token-efficient tool per layer: serena (code reads), rtk (command output), caveman (prose output), Ponytail (code output) — backed by a 9-tool benchmark.
★not rated 11▲
+1 2mo agoA
tokens not measured
originalMIT
Interview prep skills: role intel, a sourced story bank, speakable verbatim scripts, industry briefs, mock interviews with scoring, and debriefs that feed the next round.
Indexed cross-repo search and AI-assisted planning for your org's codebase: search, grep, and file-find across every repo without cloning, plus a guided planning workflow that lets your team collaborate on plans together in Baz.
★not rated 11
changed 7d agoA
tokens not measured
originalMIT
Turn your AI agents from a waiting line into a graph: seven slash commands for parallel research, adversarial verification, and consultant roundtables. EN + 繁中.
★not rated 11▲
+1 15d agoA
tokens not measured
originalMIT
Local-first, git-native visible-WIP work tracking: plans become tickets, roadmaps stay generated, unplanned work gets recorded. Skills, /worklog: commands, and an ExitPlanMode capture hook.
The Agentic Ship agentic product system as an installable plugin: durable product contracts, neutral specialist roles, resumable service connections, deterministic UI and backend procedures, security, testing, health, and launch gates.
★not rated 11 4d agoA
tokens not measured
originalMIT
Score your Claude Code skill — AFK leverage, craft, anti-patterns — from local transcripts.
★not rated 11 1mo agoA
tokens not measured
originalApache-2.0
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: