Search

A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS

Daily automated scraper and injector for OpenAgentic free models into 9router combos

Framework-neutral TextMate tokenization for Liteyuki Function (LYF).

Thin DeepSeek Harness plugin connecting DSH agents to GovernLoop's independent ChatGPT review with checkpoints and evidence (BEFORE_DESTRUCTIVE_ACTION vertical slice).

> **Decentralized Version Control System (`ibgib` VCS)** > Built on content-addressed, cryptographic Merkle DAG hypergraphs (`ib^gib`).

Mock it, test it, load it, tail it: the whole test stack baked into one binary. Spec-driven, generated, zero dependencies.

capabilities.json schema (Zod + inferred TS types) and JSON Schema for capwall policies.

Desktop notifications (OSC 777/99/9) when pi finishes work, with tmux pane-return on notification click

Lumeri Video terminal client for the Lumeri v3 runtime

Output hash value of JavaScript AST.

CLI tool for setting up Authrim OIDC Provider on Cloudflare Workers

Lens port of @convex-dev/rate-limiter (verbatim source; convex/convex-test aliased to lens/lens-test)

Hover timestamps for DSH web chat nodes — start–end (and duration) on Think, Bash and every tool/step row · 在 web 界面 hover Think/Bash 等会话节点行时显示开始-结束时间与用时的 DeepSeek Harness 插件

Command-line client for the Nestica REST API

Warble back-end: isolated local Codex CLI dispatcher

Generated Effect-native SDK for Telegram Bot API 10.3.

Telegram for Node — the service descriptor, its faker, its webhook verification, and one function per operation. Plain HTTP on @particle-academy/fancy-connector-core; no vendor SDK.

Headless browser protocol helpers for Moreflow public meeting booking.

Shopline App Session Storage for DynamoDB

No description available