Sb

pyrex41/Shen-Backpressure

Shen Backpressure — formal verification for AI coding via Shen sequent-calculus types, shengen guard generation, and the shen-derive spec-equivalence gate. Provides /sb:init, /sb:loop, /sb:derive

Related skills

Microsoft FoundryDeploy, invoke, evaluate, and troubleshoot Microsoft Foundry agents with Docker, ACR, and observability workflows.400k1.2kAzure AiWire Azure AI services—especially Content Safety in Java—into a solo builder’s backend when you need moderation, blocklists, and SDK patterns without digging through full Microsoft docs.397k1.2kAzure Hosted Copilot SdkDetect @github/copilot-sdk in a repo and scaffold, extend, or deploy Copilot-powered apps on Azure with BYOM support.369k1.2kLark EventRun long-lived Lark event consumers that stream IM, VC, and Minutes events as NDJSON for bots and agent subprocesses.244kSetup Matt Pocock SkillsBootstrap AGENTS.md/CLAUDE.md and docs/agents/ with issue tracker, triage label vocabulary, and domain doc layout before using triage, PRD, TDD, and architecture skills.223k121kRunning Claude Code Via Litellm CopilotPoint Claude Code at a local LiteLLM proxy forwarding to GitHub Copilot Chat API for cheaper runs.220k61