Quality

API Backward Compatibility Testing detects breaking API changes such as response format shifts, removed endpoints, type changes, and deprecation rule violations. Use it when writing, reviewing, or automating compatibility checks in CI/CD.

API Contract Validator validates API responses against OpenAPI, JSON Schema, and consumer-driven contracts. Use it to check request and response shapes, headers, status codes, and backward compatibility in tests or CI.

API Fuzzing finds unexpected behaviors, crashes, and security issues by sending malformed requests, boundary values, and protocol violations. Use it when testing or hardening API endpoints and their error handling.

API Gateway Testing covers validation of routing, rate limiting, auth proxying, circuit breakers, and configuration for gateways like Kong, Envoy, and AWS API Gateway. Use it when writing or reviewing tests for gateway behavior and failure modes.

API Rate Limiting Testing helps write, review, debug, and set up tests for throttling, burst handling, rate limit headers, and distributed rate limiting patterns. Use it when validating rate-limit behavior in CI/CD or troubleshooting failures.

Axe-Core Accessibility Automation sets up and reviews axe-core accessibility tests for JavaScript and TypeScript projects. Use it to integrate checks into CI, tune rules, and troubleshoot failures.

CLI Gap Analyzer compares a CLI’s documented API map with implemented commands and traffic evidence to find missing endpoints, incomplete CRUD, dead client methods, and undocumented commands. Use it before refine or a review scan.

API Contract Testing verifies that services honor request and response contracts with consumer-driven tests, schema validation, and tools like Pact. Use it to test microservice communication, catch breaking changes, or validate OpenAPI specs.

API Testing covers HTTP API tests with Supertest in TypeScript and httpx/pytest in Python. Use it to test REST and GraphQL endpoints, authentication, validation, file uploads, and error handling.

Lean 4 Theorem Proving helps edit Lean 4 files, debug builds, search mathlib, and formalize mathematics in Lean. Use it for type mismatches, sorry analysis, lake errors, or learning Lean 4 concepts.

Implementation Review evaluates code against its intended purpose, user experience, and side effects, then simplifies the design by fixing root causes and removing unnecessary layers. Use it to verify correctness, review interfaces, and improve flawed or legacy-heavy implementations.

Source Command Check runs the full local validation sequence for the migrated `check` command. Use it to run frontend lint, tests, build, and Rust `cargo check`, stopping at the first failure and reporting the output.