MCPcopy Index your code
hub / github.com/antithesishq/antithesis-sdk-go

github.com/antithesishq/antithesis-sdk-go @v0.7.2

Chat with this repo
repository ↗ · DeepWiki ↗ · release v0.7.2 ↗ · + Follow
361 symbols 940 edges 62 files 122 documented · 34% 15 cross-repo links
What it actually does AI analysis from the code graph — generated when you open this
loading…
README

Antithesis Go SDK

This library provides methods for Go programs to configure the Antithesis platform. Functionality is grouped into the packages assert for defining new test properties, random for Antithesis input, and lifecycle for controlling the Antithesis simulation.

For general usage guidance see the Antithesis Go SDK Documentation

Extension points exported contracts — how you extend this code

Number (Interface)
Allowable numeric types of comparison parameters
assert/assert_types.go

Core symbols most depended-on inside this repo

Printf
called by 103
tools/antithesis-go-instrumentor/common/logger.go
Fatalf
called by 31
tools/antithesis-go-instrumentor/common/logger.go
assertImpl
called by 16
assert/assert.go
newLocationInfo
called by 15
assert/location.go
makeKey
called by 15
assert/assert.go
popType
called by 14
tools/antithesis-go-instrumentor/scanners/coverage/instrumentor/instrumentor.go
Close
called by 13
tools/antithesis-go-instrumentor/scanners/coverage/symboltable/symbol_table.go
hasFuncLiteral
called by 11
tools/antithesis-go-instrumentor/scanners/coverage/instrumentor/instrumentor.go

Shape

Function 220
Method 86
Struct 37
TypeAlias 14
Interface 4

Languages

Go100%

Modules by API surface

tools/antithesis-go-instrumentor/scanners/coverage/instrumentor/instrumentor.go34 symbols
assert/rich_assert.go27 symbols
tools/antithesis-go-instrumentor/scanners/assertions/assertion_scanner.go19 symbols
assert/numeric_guidance.go18 symbols
tools/antithesis-go-instrumentor/scanners/assertions/catalog_output.go17 symbols
tools/antithesis-go-instrumentor/common/files.go16 symbols
internal/emit.go16 symbols
assert/assert.go16 symbols
assert/rich_assert_nop.go12 symbols
tools/antithesis-go-instrumentor/scanners/coverage/symboltable/symbol_table.go10 symbols
tools/antithesis-go-instrumentor/scanners/coverage/config/config.go10 symbols
tools/antithesis-go-instrumentor/e2e_test.go10 symbols

For agents

$ claude mcp add antithesis-sdk-go \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

Ask about this repo answers extend the page