Browse Skills

Using Generic Agents helps you choose between Haiku, Sonnet, and Opus for a task. Use it when deciding which generic agent fits the level of instruction, judgment, or sustained focus required.

Writing Claude Directives helps you write instructions for Claude behavior, including skills, CLAUDE.md files, and agent or system prompts. Use it when you need clearer compliance, token-efficient guidance, or better skill discovery.

XiaoBei Image To VBA converts academic images, slides, and screenshots into editable VBA and Office shapes. Use it to rebuild figures, diagrams, and layouts as PowerPoint, Excel, or Word objects, with raster crops only for complex elements.

Abstract Invariant Generator infers loop invariants, preconditions, and postconditions from code using abstract interpretation. Use it when adding formal specifications or verification conditions in Dafny, Isabelle, Coq, ACSL, and similar systems.

AI Observability adds Spring AI model metrics, token usage, latency, cost attribution, and prompt/completion logging. Use it when you need production audit data for chat calls and advisor telemetry.

API Design Assistant helps design and review REST APIs by suggesting endpoints, parameters, schemas, authentication, pagination, and versioning. It is used for API planning, documentation, OpenAPI specs, and implementation guidance.

Architecture Reviewer gives Clean Architecture guidance for TypeScript projects, including layer placement, dependency direction, ports, and pattern checks. Use it when planning features, reviewing PRs, or validating where code should live.

C/C++ to Lean4 Translator converts C or C++ programs into Lean4 code that preserves semantics and stays well typed and executable. Use it when porting imperative algorithms, structs, loops, or I/O to Lean4.

Domain-Driven Design helps model rich Spring Boot domains with aggregates, value objects, domain events, specifications, and anti-corruption layers. Use it when building DDD-style Java services instead of anemic CRUD models.

Event-Driven Messaging guides Kafka, RabbitMQ, Pulsar, and JMS producers and consumers in Spring Boot 3. It covers event contracts, idempotency, retries, dead-letter handling, ordering, and outbox delivery.

HTTP Interface Clients shows how to build declarative external API clients in Spring Boot 3 with @HttpExchange interfaces. Use it when registering proxies, choosing RestClient or WebClient, and handling timeouts and errors.

MCP Server helps expose Spring Boot 3 capabilities through Model Context Protocol tools, resources, and prompts. Use it to register Spring AI tool callbacks, configure transports, and secure or test MCP endpoints.