Local stdio MCP adapter for Stock Trends public resources, workflow planning, and separately gated paid API tools.

Python projection adapter for Frontier Lang semantic source documents.

Trellis 篩選插件 — 全域搜尋與單欄篩選

Credence generic ingestion: map any external source to claims, once. Adapters are thin mappers.

WebAssembly bindings for tulip_rs — Technical Analysis Library for browsers

Tamper-evident audit + provenance for AI agents — an offline, zero-dependency, hash-chained append-only ledger. Wrap your agent's tool calls, then prove what it did: any edit, reorder, insertion, or deletion fails verification. Optionally anchor the ledge

MCP server for Kodiak — verifiable fact-checking. Verify a factual claim and get a verdict, calibrated confidence, cited sources, and a tamper-evident certificate anyone can verify.

AIGNE AFS provider for DID-scoped persistent storage with CID-based content deduplication

Runnable VAL demo: mints a live Profile-B chain (device-key-signed human root, delegated agent actions, a consent bond), verifies it offline, then attacks it four ways — byte tamper, full history rewrite, signature strip, silent truncation — showing exact

Cost-parity bench for agent loops: measure $/successful-outcome and time-to-outcome across model mixes and setups, locally, on your own keys or subscription.

C# Roslyn source-language importer package for Frontier Lang semantic source documents.

C projection adapter for Frontier Lang semantic source documents.

Verify a Countersign ledger entry offline: hash-chain recomputation, RFC 6962 Merkle inclusion, and Ed25519 signatures — zero hosted dependencies.

Checker and diagnostics for Frontier Lang semantic source documents.

Chirindo — a fail-closed cryptographic gate for the MCP tool-call boundary. The watchtower for your AI agents. By Headless Oracle.

Agent Context Distribution Protocol — WebAssembly verification core

Local-first evidence primitive — record evidence with its acceptance criteria, re-derive integrity deterministically, and record independent third-party judgments. Never trusts a stored verdict, never lets work self-grade its own "done".

Graph-powered code intelligence for AI agents. Index any codebase, query via MCP or CLI.

Re-derive an Obsign receipt's claim on your own machine, offline. Zero dependencies.

Runtime-neutral proof capsule, telemetry, and admission primitives for Frontier merge and review evidence.