Explore documented capabilities and connections for sdkproof.

CLI

What your agent can do

  • Score how often an AI model writes library code that does not compile. Give it a package name, it writes real tasks, compiles every answer against the real installed package with tsc, and reports what broke.

    Via CLI.

Tasks depend on the interface and permissions.

Connection methods

Choose a route that fits your agent.

CLI connection

Documentation & experience

  • 1 connection path
View sources and checks
How documentation is checked