Join waitlistWaitlist
Proof packetResearchDocsAdoptersContactJoin waitlist
← Back to adopters
Adopter quickstart

DSPy proof path

Private-beta path for adopting Imladri with DSPy: initialize the adapter, wrap one risky capability, run the scanner or proof command from the repo, and review the same evidence in Profile.

Join waitlistView proof packetRead integration docs
Certification status

Certified

Certified

Alias-aware wrapper-contract and executable DSPy-shaped surface checks passed for the Python adapter.

2/2 DSPy lanes passed; shared batch proof covers metadata.name, action_aliases, strict preflight, and zero blocked-path body calls.

Runtimepython
Access modePrivate beta
Approved beta starter
cli
imladri init --framework dspy --ci-provider github
Reference dependencies
dependencies
npm install @imladri/sdk
pip install dspy
Minimal wrapper
python
from imladri.adapters import wrap_dspy_tools

guarded_predictors = wrap_dspy_tools(
    agent,
    predictors,
    strict_tools=["customer.data.export"],
    action_aliases={
        "customer_export": "customer.data.export",
        "credential_export": "credential.export",
    },
)
Terminal proof evidence
terminal evidence
imladri sdk certify --real --target dspy
imladri scan --path . --fail-on new
imladri proof export --format json --output dspy-proof.json