NimbusAI

The types for the intent your team writes down, product outcomes and system behavior, in a shape suss can check the code against.

A small semi-naive Datalog evaluator with stratified negation, the rules engine suss runs its whole-program analyses on.

The types and JSON schema for a suss behavioral summary, the record of what a piece of code does on every path.

Parse a CloudFormation or SAM template into plain data, the facts every suss reader of an AWS template works from.

Turn an AWS API Gateway REST or HTTP API into a suss contract and check it against the Lambda handlers and clients that use it.

Turn a CloudFormation or SAM template into a suss contract and check the API it declares against the handlers and clients behind it.

What the Google Cloud Terraform provider declares, so suss can check your code against the infrastructure you deploy.

Read a TypeScript or JavaScript codebase with suss and check what each handler returns against every caller, spec and template it can see.

Compare what a suss summary says an endpoint does against the clients that call it, and report every place the two sides disagree.

Turn a GraphQL schema or a committed operation document into a suss contract and check it against the resolvers and clients on either side.