tools

package
v1.0.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Aug 30, 2026 License: Apache-2.0 Imports: 32 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func RegisterAll 

func RegisterAll(server *mcp.Server, runtime *Runtime)

RegisterAll is the single deterministic protocol registration list.

func RegisterAuditConcurrency 

func RegisterAuditConcurrency(server *mcp.Server, runtime *Runtime)

RegisterAuditConcurrency registers the concurrency audit tool.

func RegisterAuditErrors 

func RegisterAuditErrors(server *mcp.Server, runtime *Runtime)

RegisterAuditErrors registers the error audit tool.

func RegisterBenchmarkDiff 

func RegisterBenchmarkDiff(server *mcp.Server, runtime *Runtime)

RegisterBenchmarkDiff registers go_benchmark_diff with execution hints.

func RegisterChangeTools 

func RegisterChangeTools(server *mcp.Server, runtime *Runtime)

RegisterChangeTools registers private Change Contract continuity operations.

func RegisterCoverageGaps 

func RegisterCoverageGaps(server *mcp.Server, runtime *Runtime)

RegisterCoverageGaps registers go_coverage_gaps with execution hints.

func RegisterFlakeFinder 

func RegisterFlakeFinder(server *mcp.Server, runtime *Runtime)

RegisterFlakeFinder registers go_flake_finder with execution hints.

func RegisterIntelligenceResources 

func RegisterIntelligenceResources(server *mcp.Server, runtime *Runtime)

RegisterIntelligenceResources publishes effective semantic capabilities and snapshot-bound Context Pack detail artifacts.

func RegisterPrompts 

func RegisterPrompts(server *mcp.Server)

RegisterPrompts registers the six workflow prompts.

func RegisterRaceReport 

func RegisterRaceReport(server *mcp.Server, runtime *Runtime)

RegisterRaceReport registers go_race_report with truthful execution hints.

func RegisterRefactor 

func RegisterRefactor(server *mcp.Server, runtime *Runtime)

RegisterRefactor registers guarded preview and apply through one plan-bound operation. Static annotations describe the apply-capable trust boundary.

func RegisterResources 

func RegisterResources(server *mcp.Server, runtime *Runtime)

RegisterResources registers the complete fixed and templated resource inventory.

func RegisterSearch 

func RegisterSearch(server *mcp.Server, runtime *Runtime)

RegisterSearch registers the workspace-symbol search adapter.

func RegisterSymbolContext 

func RegisterSymbolContext(server *mcp.Server, runtime *Runtime)

RegisterSymbolContext registers the symbol-context adapter.

func RegisterTestStructured 

func RegisterTestStructured(server *mcp.Server, runtime *Runtime)

RegisterTestStructured registers go_test_structured with truthful hints.

func RegisterVerifyChange 

func RegisterVerifyChange(server *mcp.Server, runtime *Runtime)

RegisterVerifyChange registers the approval-gated verification adapter.

func RegisterWorkspaceBrief 

func RegisterWorkspaceBrief(server *mcp.Server, runtime *Runtime)

RegisterWorkspaceBrief registers the compact workspace brief adapter.

func RegisterWorkspaceResources 

func RegisterWorkspaceResources(server *mcp.Server, runtime *Runtime)

RegisterWorkspaceResources registers the v0.1 workspace context resources.

Types

type AuditConcurrencyInput 

type AuditConcurrencyInput struct {
	Package     string           `json:"package" jsonschema:"Go package import path or ./relative/path"`
	MinSeverity finding.Severity `json:"min_severity,omitempty" jsonschema:"lowest severity to include; default info"`
	MaxFindings int              `json:"max_findings,omitempty" jsonschema:"maximum findings to return; default 200, maximum 1000"`
}

AuditConcurrencyInput configures the concurrency audit.

type AuditConcurrencyOutput 

type AuditConcurrencyOutput struct {
	Result finding.AuditResult `json:"result"`
}

AuditConcurrencyOutput is the structured concurrency audit result.

type AuditErrorsInput 

type AuditErrorsInput struct {
	Package     string           `json:"package" jsonschema:"Go package import path or ./relative/path"`
	MinSeverity finding.Severity `json:"min_severity,omitempty" jsonschema:"lowest severity to include; default info"`
	MaxFindings int              `json:"max_findings,omitempty" jsonschema:"maximum findings to return; default 200, maximum 1000"`
}

AuditErrorsInput configures the error audit.

type AuditErrorsOutput 

type AuditErrorsOutput struct {
	Result finding.AuditResult `json:"result"`
}

AuditErrorsOutput is the structured error audit result.

type BeginChangeInput 

type BeginChangeInput struct {
	Base            string                          `json:"base" jsonschema:"required local base ref"`
	Goal            string                          `json:"goal" jsonschema:"required human-written change goal"`
	Package         string                          `json:"package,omitempty"`
	FocusedPaths    []string                        `json:"focused_paths,omitempty"`
	FocusedPackages []string                        `json:"focused_packages,omitempty"`
	FocusedSymbols  []string                        `json:"focused_symbols,omitempty"`
	AllowedPaths    []string                        `json:"allowed_paths,omitempty"`
	Policies        intelligence.StructuralPolicies `json:"policies,omitempty"`
}

BeginChangeInput selects the initial private Change Contract boundary.

type BenchmarkComparison 

type BenchmarkComparison struct {
	Name         string  `json:"name"`
	BaselineNsOp float64 `json:"baseline_ns_op"`
	CurrentNsOp  float64 `json:"current_ns_op"`
	DeltaPercent float64 `json:"delta_percent"`
	Regression   bool    `json:"regression"`
}

BenchmarkComparison compares one benchmark across revisions.

type BenchmarkDiffInput 

type BenchmarkDiffInput struct {
	Package          string   `json:"package" jsonschema:"Go package import path or ./relative/path"`
	Baseline         string   `json:"baseline" jsonschema:"git ref to compare against, e.g. HEAD~1 or main"`
	BenchRegex       string   `json:"bench_regex,omitempty" jsonschema:"regex filter for -bench; default all benchmarks"`
	Count            int      `json:"count,omitempty" jsonschema:"repetitions per revision; default 6, maximum 20"`
	ThresholdPercent *float64 `json:"threshold_percent,omitempty" jsonschema:"regression threshold percent; default 10"`
}

BenchmarkDiffInput configures a current-versus-baseline benchmark run.

type BenchmarkDiffOutput 

type BenchmarkDiffOutput struct {
	Comparisons []BenchmarkComparison `json:"comparisons"`
	Regressions int                   `json:"regressions"`
}

BenchmarkDiffOutput contains deterministic benchmark comparisons.

type CheckpointChangeInput 

type CheckpointChangeInput struct {
	ContractID          string   `json:"contract_id" jsonschema:"required"`
	ExpectedSnapshotID  string   `json:"expected_snapshot_id" jsonschema:"required"`
	Decisions           []string `json:"decisions,omitempty"`
	UnresolvedQuestions []string `json:"unresolved_questions,omitempty"`
}

CheckpointChangeInput selects one exact Change Contract lineage transition.

type CoverageGap 

type CoverageGap struct {
	File       string `json:"file"`
	StartLine  int    `json:"start_line"`
	StartCol   int    `json:"start_col"`
	EndLine    int    `json:"end_line"`
	EndCol     int    `json:"end_col"`
	Statements int    `json:"statements"`
}

CoverageGap is one uncovered source range.

type CoverageGapsInput 

type CoverageGapsInput struct {
	Package string `json:"package" jsonschema:"Go package import path or ./relative/path"`
}

CoverageGapsInput selects packages for one bounded coverage run.

type CoverageGapsOutput 

type CoverageGapsOutput struct {
	Files          []FileCoverage `json:"files"`
	OverallPercent float64        `json:"overall_percent"`
}

CoverageGapsOutput is a statement-weighted coverage report.

type FileCoverage 

type FileCoverage struct {
	File    string        `json:"file"`
	Percent float64       `json:"percent"`
	Gaps    []CoverageGap `json:"gaps"`
}

FileCoverage contains statement coverage and gaps for one source file.

type FlakeFinderInput 

type FlakeFinderInput struct {
	Package        string `json:"package" jsonschema:"Go package import path or ./relative/path"`
	Runs           int    `json:"runs,omitempty" jsonschema:"repetitions; default 20, maximum 200"`
	TimeoutSeconds int    `json:"timeout_seconds,omitempty" jsonschema:"test timeout in seconds; default 120, maximum 300"`
}

FlakeFinderInput configures repeated tests in one bounded subprocess.

type FlakeFinderOutput 

type FlakeFinderOutput struct {
	Flaky         []FlakeResult `json:"flaky"`
	TotalTestsRun int           `json:"total_tests_run"`
}

FlakeFinderOutput contains only observed flakes and the sampled test count.

type FlakeResult 

type FlakeResult struct {
	Test      string  `json:"test"`
	Package   string  `json:"package"`
	Runs      int     `json:"runs"`
	Passes    int     `json:"passes"`
	Failures  int     `json:"failures"`
	FlakeRate float64 `json:"flake_rate"`
}

FlakeResult is one test observed both passing and failing.

type IntelligenceService 

type IntelligenceService interface {
	Brief(context.Context, intelligence.BriefRequest) (intelligence.ContextPack, error)
	Search(context.Context, intelligence.SearchRequest) (intelligence.SearchResult, error)
	Symbol(context.Context, intelligence.SymbolRequest) (intelligence.SymbolContext, error)
	Begin(context.Context, intelligence.BeginRequest) (intelligence.ChangeContract, error)
	Checkpoint(context.Context, intelligence.CheckpointRequest) (intelligence.Checkpoint, error)
	Refactor(context.Context, intelligence.RefactorRequest) (intelligence.RefactorResult, error)
	Verify(context.Context, verification.Request) (verification.Report, error)
}

IntelligenceService is the narrow read-only seam used by v0.4 MCP adapters.

type PackageSummary 

type PackageSummary struct {
	Status  string `json:"status"`
	Passed  int    `json:"passed"`
	Failed  int    `json:"failed"`
	Skipped int    `json:"skipped"`
	Output  string `json:"output,omitempty"`
}

PackageSummary aggregates test results for one package.

type RaceReportInput 

type RaceReportInput struct {
	Package        string `json:"package" jsonschema:"Go package import path or ./relative/path"`
	TimeoutSeconds int    `json:"timeout_seconds,omitempty" jsonschema:"test timeout in seconds; default 60, maximum 300"`
}

RaceReportInput configures one bounded race-detector run.

type RaceReportOutput 

type RaceReportOutput struct {
	Conflicts      []parser.RaceConflict `json:"conflicts"`
	RawBlocksFound int                   `json:"raw_blocks_found"`
}

RaceReportOutput contains every race detector block recovered from a run.

type RefactorInput 

type RefactorInput struct {
	Operation          string   `json:"operation,omitempty" jsonschema:"preview operation: rename, format, organize_imports, or fix_all"`
	SymbolRef          string   `json:"symbol_ref,omitempty" jsonschema:"snapshot-bound symbol reference required for rename preview"`
	NewName            string   `json:"new_name,omitempty" jsonschema:"new Go identifier required for rename preview"`
	Files              []string `json:"files,omitempty" jsonschema:"existing workspace-relative files for formatting or allowed fix actions"`
	PlanID             string   `json:"plan_id,omitempty" jsonschema:"content-addressed preview plan required for apply"`
	ExpectedSnapshotID string   `json:"expected_snapshot_id" jsonschema:"required exact snapshot used for preview or apply"`
	Apply              bool     `json:"apply,omitempty" jsonschema:"apply the exact stored plan after explicit client approval"`
}

RefactorInput previews or explicitly applies one guarded refactor plan.

type Runtime 

type Runtime struct {
	// contains filtered or unexported fields
}

Runtime owns the shared, process-wide dependencies used by MCP tools.

func NewRuntime 

func NewRuntime(ws *workspace.Workspace, runner *execution.Runner, tracer *trace.Tracer) (*Runtime, error)

NewRuntime validates the dependencies shared by every tool registration.

func NewRuntimeWithIntelligence 

func NewRuntimeWithIntelligence(ws *workspace.Workspace, runner *execution.Runner, tracer *trace.Tracer, providerVersion string, service IntelligenceService) (*Runtime, error)

NewRuntimeWithIntelligence preserves the existing runtime constructor while allowing the semantic MCP adapters to be installed by newer binaries.

func NewRuntimeWithVersion 

func NewRuntimeWithVersion(ws *workspace.Workspace, runner *execution.Runner, tracer *trace.Tracer, providerVersion string) (*Runtime, error)

NewRuntimeWithVersion preserves the producing binary version in portable verification reports while retaining NewRuntime for internal callers.

type SearchInput 

type SearchInput struct {
	Query              string `json:"query" jsonschema:"workspace symbol query"`
	Package            string `json:"package,omitempty" jsonschema:"optional Go package scope"`
	Cursor             string `json:"cursor,omitempty" jsonschema:"snapshot-bound continuation cursor"`
	ExpectedSnapshotID string `json:"expected_snapshot_id,omitempty" jsonschema:"reject the request unless this snapshot is still current"`
	Limit              int    `json:"limit,omitempty" jsonschema:"maximum 100; default 20"`
}

SearchInput selects a page of workspace symbols.

type SymbolContextInput 

type SymbolContextInput struct {
	SymbolRef          string `json:"symbol_ref,omitempty" jsonschema:"opaque snapshot-bound symbol reference"`
	File               string `json:"file,omitempty" jsonschema:"workspace-relative Go file"`
	ExpectedSnapshotID string `json:"expected_snapshot_id,omitempty" jsonschema:"reject the request unless this snapshot is still current"`
	Line               int    `json:"line,omitempty" jsonschema:"one-based source line"`
	Column             int    `json:"column,omitempty" jsonschema:"one-based UTF-8 byte column"`
	MaxBytes           int    `json:"max_bytes,omitempty" jsonschema:"optional response budget; default 16384"`
	CallHierarchy      bool   `json:"call_hierarchy,omitempty"`
	TypeDefinition     bool   `json:"type_definition,omitempty"`
}

SymbolContextInput selects a symbol by opaque reference or source position.

type TestCase 

type TestCase struct {
	Name     string  `json:"name"`
	Package  string  `json:"package"`
	Status   string  `json:"status"`
	ElapsedS float64 `json:"elapsed_s"`
	Output   string  `json:"output,omitempty"`
}

TestCase is one terminal test result.

type TestStructuredInput 

type TestStructuredInput struct {
	Package        string `json:"package" jsonschema:"Go package import path or ./relative/path"`
	Race           bool   `json:"race,omitempty" jsonschema:"enable the race detector; default false"`
	Verbose        bool   `json:"verbose,omitempty" jsonschema:"include passing and skipped test output; default false"`
	TimeoutSeconds int    `json:"timeout_seconds,omitempty" jsonschema:"test timeout in seconds; default 60, maximum 300"`
}

TestStructuredInput configures one bounded go test -json run.

type TestStructuredOutput 

type TestStructuredOutput struct {
	Packages   map[string]PackageSummary `json:"packages"`
	Tests      []TestCase                `json:"tests"`
	Passed     int                       `json:"passed"`
	Failed     int                       `json:"failed"`
	Skipped    int                       `json:"skipped"`
	DurationMS int64                     `json:"duration_ms"`
}

TestStructuredOutput is the structured result of a go test invocation.

type VerifyChangeInput 

type VerifyChangeInput struct {
	Base               string              `json:"base" jsonschema:"required local commit or ref compared with HEAD and the final worktree"`
	Package            string              `json:"package,omitempty" jsonschema:"Go package scope; default ./..."`
	Race               bool                `json:"race,omitempty" jsonschema:"include race detection; default false"`
	FailOn             verification.FailOn `json:"fail_on,omitempty" jsonschema:"blocking analyzer severity: error, warning, info, or none; default error"`
	MinChangedCoverage *float64            `json:"min_changed_coverage,omitempty" jsonschema:"optional changed-statement coverage minimum from 0 through 100"`
	MaxPackages        int                 `json:"max_packages,omitempty" jsonschema:"maximum affected package closure; default 200, maximum 500"`
	ContractID         string              `json:"contract_id,omitempty" jsonschema:"optional private Change Contract evaluated against the exact verification snapshot"`
	ExpectedSnapshotID string              `json:"expected_snapshot_id,omitempty" jsonschema:"optional exact semantic snapshot required for this verification"`
}

VerifyChangeInput configures one complete change-verification report.

type WorkspaceBriefInput 

type WorkspaceBriefInput struct {
	Base               string `json:"base,omitempty" jsonschema:"optional local base ref for change context"`
	Package            string `json:"package,omitempty" jsonschema:"optional Go package scope; default ./..."`
	ExpectedSnapshotID string `json:"expected_snapshot_id,omitempty" jsonschema:"reject the request unless this snapshot is still current"`
	MaxBytes           int    `json:"max_bytes,omitempty" jsonschema:"optional response budget; default 8192"`
}

WorkspaceBriefInput selects the compact, source-grounded workspace overview.

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.