Building the engineering tools we wished already existed.
From trustless blockchain verification and semantic code analysis to AI-ready backend
blueprints and a software engineering model trained on real engineering knowledge, every
product started as a problem worth solving.
A general-purpose decentralised oracle built on EigenLayer. Consumers submit capability requests on-chain. A network of staked operator nodes races to fetch, attest, and submit results, secured by Threshold BLS signatures and economic slashing. Three consensus strategies: BLS Quorum (67% reputation-weighted), Weighted Median for numeric feeds, and SingleTEE for high-integrity attestations. Node personas: Standard, Automation (sovereign cron), and Attestation. Runtime: Rust kernel with V8 native isolate for sandboxed JS plugins (<1ms dispatch).
Detects logical flaws, security risks, and unoptimised patterns that conventional linters miss: code that compiles and type-checks but deadlocks, leaks secrets, or contains subtly wrong AI-generated logic. Core: Semantic Program Graph (SPG), temporal taint tracking, and algebraic flow combinators. All policy ships as external YAML rule catalogues in v0.4.0. Exposes an MCP server for direct AI agent integration.
/* * BLUEPRINTER * Domain Contract Catalogue · 108 Modules */ $ blueprinter generate --module billing --lang typescript // generated/interfaces/payments.ts export interface PaymentsContract { initiatePayment(orderId: string, amount: number, currency: string): Promise<Payment>; verifyPayment(paymentId: string): Promise<Payment>; } // generated/adapters/payments/stripe.ts export class StripeAdapter implements PaymentsContract { async initiatePayment(orderId, amount, currency) { const pi = await this.stripe.paymentIntents.create({ amount: Math.round(amount * 100), currency: currency.toLowerCase(), }); return this.toPayment(pi); } }
Qwen 2.5 14B fine-tuned on technical domain corpora built by the Friehub ingestion pipeline. Semantic paragraph-level chunks from authoritative PDFs across 17 engineering domains. Anti-hallucination discipline at every stage: quiz answers are verbatim source text, code blocks bypass the LLM and return verbatim, grounding scores flag low-confidence summaries before output. Trained via Modal + LoRA. SM-2 spaced repetition tracks evaluation quality across training cycles.
Semantic rules that operate one level above the type system. None of these are caught by clippy, eslint, or tsc.
108 domain contracts. 83 adapters across 33 modules. Provider-agnostic, language-portable, AI-consumable.
Three consensus strategies. Decentralised operator network secured by EigenLayer's restaking and economic slashing.
Deploy the consumer interface. Submit a capability request specifying data type, consensus strategy, and TTL. Operators respond automatically. Results are written on-chain and verifiable by any contract.
Run the CLI against any Rust or TypeScript codebase. Outputs a structured report of semantic violations ranked by severity. Plug into CI or wire the MCP server into your AI agent for inline diagnostics.
Install the CLI. Specify a domain module and target language. Blueprinter emits a typed interface and provider-specific adapter stubs. Drop them into your project or feed them directly to an LLM as grounded context.
From raw PDFs to a fine-tuned 14B model five deterministic stages.
PDFs parsed into semantic units: paragraphs, code blocks, headings. Embedded with MiniLM-L6-v2 (ONNX, 2-3x faster). Stored in ChromaDB. Manifest prevents reprocessing.
17-domain classifier assigns each PDF to algorithms, databases, compilers, ML, security, and more. Stratified semantic sampling + filename heuristics with cross-validation.
Queries embedded and matched against vector store via cosine similarity. Minimum score threshold discards low-quality hits. Domain-scoped retrieval available.
Every LLM output embedded and compared against source chunks. Grounding score < threshold flags response. Code blocks bypass the LLM entirely and are returned verbatim.
Curated dataset of QA pairs, open-code samples, and triplets used to fine-tune Qwen 2.5 14B via Modal + LoRA. SM-2 spaced repetition tracks evaluation quality.