skills.rest
phanijapps
phanijappsCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

contract-acquisition

Verify infrastructure and library contracts using deterministic toolchain oracles.

Updated Jun 29, 2026
Search Tags:#verification#infrastructure#oracle#grounding#agentic#contract
One-click install
npx skills add https://github.com/phanijapps/engram --skill contract-acquisition
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: contract-acquisition
Source: https://github.com/phanijapps/engram/tree/main/.claude/skills/contract-acquisition
Command: npx skills add https://github.com/phanijapps/engram --skill contract-acquisition

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This skill prevents agent failures caused by guessing infrastructure flags, resource schemas, or library signatures by forcing the agent to query the toolchain's own deterministic oracles before authoring code.

Core Features & Use Cases

  • Tiered Oracle Protocol: Executes a structured, tool-keyed verification process ranging from static analysis (type checkers, plan/validate commands) to runtime probes.
  • Contract Grounding: Ensures that every generated CLI flag, IaC resource, or library call is verified against the actual installed version of the environment.
  • Use Case: Before writing Terraform code for an unfamiliar provider, the agent uses this skill to pull the machine-readable schema slice and verify the resource's immutability rules, preventing deployment failures.

Quick Start

Use the contract-acquisition skill to verify the resource schema and required flags for the AWS S3 bucket resource before generating the Terraform configuration.

Frequently Asked Questions about contract-acquisition

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify infrastructure resource schemas before writing Terraform code?▼

To verify infrastructure resource schemas before writing Terraform code, you ground agent actions in deterministic toolchain oracles. This forces a query against the installed environment version to pull machine-readable schema slices and check immutability rules, preventing deployment failures.

What is contract grounding for agentic code generation?▼

Contract grounding for agentic code generation is verifying structural and behavioral contracts against actual installed versions. It applies deterministic oracles to ensure generated CLI flags, IaC resources, or library calls are source-grounded and prevent agent failures from guessing.

How do I stop agents from guessing CLI flags and library signatures?▼

To stop agents from guessing CLI flags and library signatures, execute a tiered oracle protocol using deterministic toolchain queries. This process applies static analysis and runtime probes to verify tool behaviors before authoring code, ensuring accurate usage.

Does this tool check software dependencies against the actual installed environment version?▼

Yes, this tool checks software dependencies against the actual installed environment version. It verifies the structural and behavioral contracts of infrastructure platforms and libraries using deterministic toolchain oracles to ensure accurate, source-grounded memory.

What's the best way to validate cloud resource immutability rules before deployment?▼

The best way to validate cloud resource immutability rules before deployment is using a tiered oracle protocol. It executes structured, tool-keyed verification ranging from static analysis to runtime probes, citing specific contract slices derived from deterministic observation.

Related Skills

Explore More Software Engineering Skills→
aws-samplesaws-samples
12

insecure-installer

Install and cache Node.js, Python, and Rust toolchains for repeatable environments.

Official
Intermediate
eugenelimeugenelim
15

infra-contract-acquisition

Acquire real platform contracts before authoring infrastructure or managed-runtime code.

Community
Advanced
muratcankoylanmuratcankoylan
8

BACKPRESSURE

Create deterministic self-verification checks for AI coding agents.

Community
Intermediate
ovachieverovachiever
52

langchain

Build LLM applications with agents, chains, and RAG across multiple providers.

Community
Advanced