Repositories (12)
AI-powered Gmail classification system using local Ollama LLM inference. Privacy-first email triage with modular YAML profiles, cryptographic audit trails, and enterprise-grade security.
SCGP reference implementation in Rust: compile large codebases into verified semantic graphs, deterministic glyphs, and token-budgeted AI context.
Never confidently wrong: a TLA+-verified consensus kernel around TypeSafe's Jev, run through 1,680 chaos-tested pharmacy decisions with zero wrong verdicts. Film, code, and every captured call.
Distributed, fault-tolerant real-time chat infrastructure with VSR consensus. Built with Tiger Style principles: correctness-first, deterministic, simulation-tested.
Distributed adversarial behavioral security evaluation framework for LLMs - Swarm-based parallel probing with cryptographic consensus
Distributed attested CI mesh — property-tested at every layer
🔍 Levenshtein-Grouper: Uncover Textual Similarities Across Your File System in a Flash 🚀
Rusty Swag is an efficient CLI tool built in Rust designed for detecting Swagger UI documentation on specified host URLs. It leverages asynchronous programming to perform fast, concurrent checks across multiple servers, ensuring effective management and monitoring of API documentation.
a site-snapshot and change-tracking tool. It captures the HTML of any given site (or set of pages), stores snapshots in a local SQLite database, and highlights differences between consecutive snapshots.
High-performance L4/L7 network proxy in Rust. Memory safety by construction, not convention. Informed by Envoy, HAProxy, and Nginx.
An MCP server for authorship on dev.to, with the platform's real rules built in — offline validation, rate-budget pacing, and a capability gate dev.to's unscoped API key cannot provide.