#contracts

Participatory moderation: juries, evidence and appeals

该仓库未发布描述。

Research control plane for AI-assisted scholarship: durable human checkpoints, lawful evidence provenance, and verifiable research packages.

Let AI agents query and update Postgres/MySQL without raw SQL, unrestricted schema access, or database credentials in the model; writes stay reviewed.

A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.

PPWCode.Vernacular.Contracts

A multifunctional media management project designed to provide a unified user interface and database model to record, manage, build, sync, and showcase your media collection and memories.

Extracted TypeSpec API source for ANcpLua OpenTelemetry convention experiments

Zero-dependency shared type definitions for the hawk ecosystem: findings, severity, events, policy verdicts, session state.

Provider‑first .NET testing framework for auto‑mocking, DI‑driven test creation, and optional Moq compatibility.

Milpa Core — framework-agnostic contracts & primitives for the Milpa PHP framework (DI, plugins, events, value objects). Apache-2.0.

Library for quick product building using: Relational database (SQL Server, PostgreSql, MySql); NoSql database (MongoDb, Redis); Message Broker (RabbitMQ); Pipeline (Pipe and Filters pattern); Documentation (Swagger); Mapping (AutoMapper); Logging (NLog); Validation and specifications, unit of work, repository, among others.

TypeScript SDK for building GoodVibes operator, peer, web, mobile, and daemon-connected apps with typed contracts, auth, realtime events, and transport layers.

Generic abstractions related to writing services

Read-only VeChain data SDK, typed getters for balances, VNS, avatars, smart accounts. Node & browser friendly.

Generic abstractions related to HTTP clients

Git-backed coordination for autonomous agents: typed requests, versioned contracts, lifecycle state, and verified handoffs—no hosted server.

Pure protocol contracts shared by Built for Cloud and Scalpels

该仓库未发布描述。

Generic abstractions related to translation

Open-source library for creating canonical shared libraries across development teams. Define data models, API contracts, and webhooks once in C# and automatically generate standards-compliant .NET NuGet packages, OpenAPI specifications, and TypeScript NPM packages.

Local-first semantic governance for AI agents: contracts, impact, drift, evidence, and verified execution. Codex is the first native integration.

TypeScript library for SEC EDGAR filing discovery and contract exhibit acquisition with built-in rate limiting and compliance

Milpa Resolver — resolve the architecture before booting it: contracts, capabilities, surfaces and host profiles into a learnable ResolutionReport. Apache-2.0.

Contract programming for C++