Module extensions 

Extensions: a folder of someone else’s work — gates, observers, views, skills, MCP servers — that a person trusts by one digest. The pure parts live here: names, the [views.<name>] grammar, what each contribution can reach in words, what widened since the last trust, and SARIF findings as speccoder shows them.

Structs

AddedFrom

Where speccoder extensions add copied an extension from.

Contribution

One contribution and what it can reach, in words.

Extension

One extension as speccoder extensions shows it.

ExtensionChanges

What changed since an extension was trusted.

ExtensionsReport

speccoder extensions: every extension, and what was just done.

SarifFinding

One finding, as speccoder shows it.

ViewDef

One [views.<name>].

ViewResult

A view’s last result.

ViewShown

One view as the app shows it.

ViewsReport

The views placed on a feature (or the project).

Enums

ContributionKind

What kind of thing an extension contributes.

ExtensionSource

Where an extension comes from.

ViewData

A view’s data, ready for its widget.

ViewPlace

Where a view stands.

ViewSource

Where a view’s data comes from.

ViewWidget

How a view shows its data.

Constants

MAX_BYTES

The most bytes one extension may hold.

MAX_FILES

The most files one extension may hold.

MAX_FINDINGS

The most findings kept from one source.

MAX_SARIF

The largest SARIF file read.

Functions

hook_contribution

A hook’s contribution, name qualified (threatspec.check).

host

The host of an http(s) URL.

parse_view

Parses [views.<name>] (as JSON).

sarif

The findings of a SARIF 2.1.0 log: at most MAX_FINDINGS, each message cut to 500 characters, each location made relative to the project by relative (None: outside it).

server_name

The MCP server name of an extension’s server: <ext>_<server>, every run of -, . and _ as one _ (a tool reference’s component: lowercase letters, digits and single _ inside).

shown

A command as a person reads it: its words, quoted where needed.

valid_name

Whether name may name an extension (Agent Plugins 1.0): 1–64 of a-z0-9-., a letter or digit at both ends, no -- or ...

view_contribution

A view’s contribution, name qualified.

widened

What changed between the contributions trusted (before) and now.