bind_contract
Link code symbols to contracts as implementations, consumers, or documentation within the Tentra MCP server's code graph. Attach evidence after recording contracts to establish clear relationships between code and specifications.
Instructions
Link a symbol to a contract as "provides", "consumes", or "documents". Use after record_contract to attach implementation evidence.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| contract_id | Yes | Contract ID (from record_contract result) | |
| symbol_id | Yes | CodeSymbol ID that implements or consumes the contract | |
| snapshot_id | Yes | Snapshot the symbol belongs to | |
| relation | Yes | "provides" = symbol implements it, "consumes" = symbol calls it, "documents" = symbol describes it |