CommunityCodierung & Entwicklunggithub.com

CharlesCNorton/tiling-verified

Formalizing parametric Löbian obstacle bypass.

Funktioniert mit~Claude Code~Codex CLI~Cursor
npx skills add CharlesCNorton/tiling-verified

Ask in your favorite AI

Open a new chat with this agent skill pre-loaded.

Dokumentation

CharlesCNorton/tiling-verified

Formalizing parametric Löbian obstacle bypass.

Verwandte Skills

prisma/prisma-driver-adapter-implementation

Required reference for Prisma v7 driver adapter work. Use when implementing or modifying adapters, adding database drivers, or touching SqlDriverAdapter/Transaction interfaces. Contains critical contract details not inferable from code examples — including the transaction lifecycle protocol, error mapping requirements, and verification checklist. Existing implementations do not replace this skill.

community

rudrankriyam/asc-release-flow

Determine whether an app is ready to submit, then drive the current App Store release flow with asc, including validation, staging, review submission, first-time availability, subscriptions, IAP, Game Center, and App Privacy checks.

community

outbountpartners/outbound-mcp

MCP server (cross-provider: Claude, ChatGPT, n8n) for the Outbound Partners Portal API. Built using anthropics/skills mcp-builder.

community

ComposioHQ/gh-address-comments

Help address review/issue comments on the open GitHub PR for the current branch using gh CLI; verify gh auth first and prompt the user to authenticate if not logged in.

community

cattuscrew/agent-skills

Agent skill repository: cattuscrew/agent-skills

community

lalamanil/AgenticAIADKSpringBoot

This repository demonstrates LLM-powered Agentic AI applications integrated with Spring AI MCP(Model context Protocol) tools. It includes an SSE listener subscribing to the /sse endpoint for asynchronously published MCP events and performs request-response correlation using JSON-RPC message IDs.

community