Skip to Content

.NET SDK

The VeriProof .NET SDK targets .NET 10. It checks policy before a governed action runs and before its result is released, records session evidence, handles signed human review, and can stop an active governed run through its CancellationToken.

Available packages

PackageCategoryFramework support
Veriproof.Sdk.CoreCore SDKApplication-owned actions
Veriproof.Sdk.Adapter.AutoGenEnforce adapterAutoGen
Veriproof.Sdk.Adapter.AgentFrameworkEnforce adapterMicrosoft.Agents.AI [1.15.0,1.16.0)
Veriproof.Sdk.Adapter.OpenAIEnforce adapterOpenAI .NET
Veriproof.Sdk.Adapter.Kernel.PromptyEnforce adapterPrompty
Veriproof.Sdk.Adapter.SemanticKernelEnforce adapterSemantic Kernel

Adapters install their required Core SDK dependency automatically.

What the core package includes

  • Veriproof.FromEnvironment() and new Veriproof(apiKey, options) for one application-scoped client.
  • GovernAsync(actionName, input, action, options, cancellationToken) with typed results and a ReviewRequired checkpoint.
  • HumanReviewRuntime<TInput> with SaveAsync, ReceiveAsync, ResumeAsync, ReconcileAsync, and CancelAsync, plus SqliteHumanReviewStore and InMemoryHumanReviewStore.
  • Generated industry vocabularies under Veriproof.Sdk.Core.Industries.* with .Fact() on each value.
  • VeriproofTestHarness and TestPolicyDecision under Veriproof.Sdk.Core.Testing for network-free tests.
  • SensitiveDataSanitizer under Veriproof.Sdk.Core.Advanced.

Start using the SDK

Open Tools and SDKs in the VeriProof portal, select .NET, and follow its installation instructions. Start with Veriproof.Sdk.Core, then add the adapter for each framework your application uses.

Set the application SDK key as VERIPROOF_API_KEY. Hosted VeriProof uses https://ingest.veriproof.app. VeriProof Private uses the ingest API base URL for that instance as VERIPROOF_ENDPOINT. The same endpoint handles session ingest and policy checks.

Use the .NET core guide for setup and governed-action examples. Check SDK categories and framework coverage for what each adapter controls and what stays with the core governed-action helper.