Formal modeling and hypothesis-driven debugging using Alloy 6 and Dafny. Includes formal-modeling (write, run, and interpret Alloy 6 or Dafny models for state machines, data invariants, API contracts, permission matrices, and business rules — with reconciliation and enforcement-audit workflow) and formal-debugger…
Manage an OPNsense router/firewall via SSH and the OPNsense API — guided first-run onboarding, firewall rule inspection, network debugging, and host/log diagnostics. Per-host config is stored outside the plugin so the same install works across multiple environments.
★not rated 3 4d agoA
tokens not measured
originalMIT
Control Zen for browsing, web testing, and debugging. Fill forms, capture network and console activity, take screenshots, and inspect console and network activity.
Playwright-style MCP server for pywebview apps — lets Claude see, control, and debug your Python desktop web UI without modifying your app's source code.
Your agent has no idea what time it is. chronos reads the transcript it already writes: a live clock on your statusline, a warning the moment it repeats a failed command, and an honest answer to where the session went.
★not rated 3 1mo agoA
tokens not measured
originalMIT
Triage user-felt bugs, pull evidence (screenshots, console logs, network requests), check blast radius, and dispatch fix PRs — all from your AI coding agent. Mushi sees what users feel; Sentry sees what code throws.
★not rated 3
changed yesterdayA
tokens not measured
original
Data freshness and endpoint liveness verification for AI agents. Probes endpoints for staleness, latency, TLS health, and content changes. Returns deterministic FRESH/STALE/UNKNOWN verdicts with NIST AI RMF alignment.
★not rated 2 6mo agoA
tokens not measured
originalMIT
OpenTelemetry-native, MCP-first debugging layer for multi-repo Spring Boot microservice fleets. Cross-repo call-chain tracing, traceid-correlated log timelines with code-grounded root-cause hypothesis, and a stdlib MCP server exposing fleet operations as typed tools.
★not rated 2 20d agoA
tokens not measured
originalMIT
Audit and fix performance on live WordPress sites across whatever stack they actually run — page builders, caching layers, CDNs and managed hosts. Fingerprints the stack, separates origin from edge TTFB, and applies fixes only under a guarded write loop with a rollback for every change.
Android APK, AAR, and JAR decompilation and inspection toolkit for analyzing compiled binaries, unpacking libraries, and understanding obfuscated code.
★not rated 2 1mo agoA
tokens not measured
originalMIT
Skills, agents, and commands for deploying, operating, and troubleshooting Ceph storage clusters — cluster setup, OSD/MON/MGR management, pool and CRUSH map configuration, health diagnostics, and day-2 operations.
Tools to deploy and debug Spur, an AI-native job scheduler.
★not rated 2 3d 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: