12 projects
ttt-otel
OpenTelemetry SpanProcessor that seals LLM traces into the Proof-of-Time chain
kenosian-vault
Ask whether a mathematical claim passed the Lean 4 kernel — in one call, verifiable without our server.
ollama-openttt
TTTPS Proof-of-Time reverse proxy for Ollama: cryptographic audit-trail timestamps for local model responses via the public KPP Provenance API
ragas-openttt
TTTPS Proof-of-Time provenance metric for Ragas: verify that a response carries a genuine audit-trail timestamp from the public KPP Provenance API
deepeval-openttt
TTTPS Proof-of-Time provenance metric for DeepEval: verify that an LLM output carries a genuine, content-bound audit-trail timestamp from the public KPP Provenance API
vllm-openttt
TTTPS Proof-of-Time ASGI middleware for vLLM: cryptographic audit-trail timestamps for OpenAI-compatible completions via the public KPP Provenance API
smolagents-openttt
TTTPS Proof-of-Time step callback for smolagents: cryptographic audit-trail timestamps for agent step outputs via the public KPP Provenance API
llamaindex-openttt
TTTPS Proof-of-Time callback handler for LlamaIndex: cryptographic audit-trail timestamps for LLM events via the public KPP Provenance API
litellm-openttt
TTTPS Proof-of-Time success callback for LiteLLM: cryptographic audit-trail timestamps for LLM completions via the public KPP Provenance API
langchain-openttt
Proof-of-Time tools for LangChain agents — cryptographic temporal attestation for DeFi transactions and general LLM audit-trail timestamping
kenoslean
Machine-verified computational biology contracts, Lean 4 kernel-checked, Rust-accelerated
synco
Python SDK for Helm Protocol — AI Agent P2P Gateway with Proof of Novelty
