Join waitlistWaitlist
Proof packetResearchDocsAdoptersContactJoin waitlist
← Back to adopters
Adopter quickstart

Semantic Kernel proof path

Private-beta path for adopting Imladri with Semantic Kernel: 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

Certified against Semantic Kernel Python function execution and TypeScript Semantic Kernel-shaped invoke surfaces, including KernelFunction.invoke, Kernel.invoke plugin dispatch, and action-alias mapping.

4/4 Semantic Kernel lanes passed; real-package verification covers semantic-kernel with 2 allowed body calls and zero blocked-path body calls.

Runtimemixed
Access modePrivate beta
Approved beta starter
cli
imladri init --framework semantic-kernel --ci-provider github
Reference dependencies
dependencies
npm install @imladri/sdk
pip install semantic-kernel
Minimal wrapper
mixed
from semantic_kernel import Kernel
from semantic_kernel.functions import KernelArguments, KernelFunction, KernelPlugin, kernel_function
from imladri.adapters import wrap_semantic_kernel_functions

@kernel_function(name="customer_lookup", description="Lookup customer")
def customer_lookup(customer_id: str) -> dict:
    return {"customer_id": customer_id}

@kernel_function(name="ticket_summarize", description="Summarize ticket")
def ticket_summarize(ticket_id: str) -> dict:
    return {"ticket_id": ticket_id}

guarded_functions = wrap_semantic_kernel_functions(
    agent,
    [
        KernelFunction.from_method(customer_lookup, plugin_name="support"),
        KernelPlugin(
            name="support",
            functions=[KernelFunction.from_method(ticket_summarize, plugin_name="support")],
        ),
    ],
    strict_tools=["customer.lookup"],
    action_aliases={
        "customer_lookup": "customer.lookup",
        "ticket_summarize": "ticket.summarize",
    },
)

result = await guarded_functions[0].invoke(
    Kernel(),
    KernelArguments(customer_id="cust_123"),
)
Terminal proof evidence
terminal evidence
imladri sdk certify --real --target semantic-kernel --include-heavy
imladri scan --path . --fail-on new
imladri proof export --format json --output imladri-proof.json