Pinned Loading

1. quotabot quotabot Public

   htop for your AI coding quotas. Track Claude, Codex, Antigravity, Grok, and local runtimes, then see where to send your next request based on remaining capacity.

   Dart 2

2. deepr deepr Public

   Build persistent AI domain experts from bounded, auditable research. Durable beliefs, confidence, contradictions, provenance, and cost guardrails.

   Python 10 2

3. fitr fitr Public

   Find out which local models actually work well on your machine. Benchmarks real behavior on your hardware, with honest uncertainty and actionable settings.

   Go

4. sealr sealr Public

   Safely extract untrusted ZIP/TAR archives or publish nothing. Strict Rust parsing, sandboxed workers, independent verification, and adversarial testing.

   Rust

5. recon recon Public

   Map a domain's public technical footprint with provenance, confidence, and explicit uncertainty. Passive by default, machine-readable, and built to report evidence, not guesses.

   Python 4

6. numinous numinous Public

   Mathematics as a shared language, made playable. A native audiovisual game and creative instrument for humans and digital minds, with deterministic math, creation tools, CLI, and MCP.

   Rust