mpl Rust
Contracts, quality measurement, and audit trails for AI agent communication — between MCP, A2A, and your application.
Research Artefacts
Every listed repository is a public research artefact available for direct review. 17 carry a detected OSS licence; Perishable's licence is pending.
Contracts, quality measurement, and audit trails for AI agent communication — between MCP, A2A, and your application.
Studying prompt lifecycle management. Extracts prompts from codebases and versions them as first-class dependencies.
Exploring multi-modal generation pipelines. Text-to-video synthesis combining LLM scripting with generative media models.
Studying AI-assisted data analysis with formal validation. An SQL co-pilot that learns query patterns while preserving privacy.
Investigating ephemeral credential models for AI APIs. Scoped, time-limited token proxies for secure LLM access.
Exploring declarative prompt specification as a formal language. Write once, run anywhere — treating prompts as portable, typed artefacts.
Research into cost-quality optimisation for LLM routing. Implements MIPROv2-based automatic prompt tuning and model selection.
Catch silently-wrong CUDA/Triton kernels before they ship — a GPU-less correctness oracle that finds the bugs a single-shape torch.allclose check misses.
Research into lightweight vector similarity search. SQLite-backed approximate nearest neighbour retrieval in pure Rust.
Research into minimal-overhead sandboxing for untrusted code execution. Lightweight container isolation in pure Zig.
Studying caching strategies for high-dimensional vector computations. Eliminates redundant embedding recomputation at scale.
Investigating topology-aware scheduling for latency-critical workloads. NUMA-first memory allocation and thread placement in Rust.
Investigating the transformation of keyword search into semantic answer generation. Async chunking and embedding pipelines in Rust.
Bridging natural language and constraint satisfaction. Describe optimisation problems in English, receive mathematically guaranteed solutions via formal solvers.
Studying efficient ranking under sparse feedback. Multi-armed bandit algorithms for achieving better orderings with fewer pairwise comparisons.
Studying LLM integration patterns for browser extensions. A framework for rapid development of AI-augmented web experiences.
Research into deliberative search interfaces. A SvelteKit engine that reasons about query intent before retrieving results.