agentlog
Local-first observability and evaluation across six AI coding harnesses.
Built read-only adapters and a provenance-aware SQLite ledger that reconcile duplicate sessions and revalidate transcript content from canonical local sources before serving it through a CLI, local dashboard, and read-only MCP tools.
- Python
- TypeScript
- SQLite
- MCP
SolProbe
A local observability prototype for AI-training systems.
Built a Rust telemetry sidecar, FastAPI control plane for anomaly detection and policy evaluation, and Next.js operations console. The verified local scope covers Apple Silicon telemetry and repeatable simulated faults.
- Rust
- FastAPI
- Next.js
- PyTorch
codex2gpt
A local Rust prototype for bounded delegation between ChatGPT and Codex.
Built a Rust MCP server with workspace-scoped context, managed worktrees, OAuth/PKCE, audit records, and approval boundaries that prevent model-controlled authorization without exposing a raw shell by default.
Smart Contract Vulnerability Detection
Undergraduate thesis on CodeBERT and graph-based smart-contract analysis.
Fine-tuned CodeBERT on 47,000+ smart contracts, reaching 99.89% binary accuracy and 89.31% multi-class accuracy on the thesis dataset. Also explored AST- and CFG-based graph models and template-based fixes for reentrancy and arithmetic overflow.
- Python
- PyTorch
- Transformers
- Solidity
Founder Intelligence
A host- and model-decoupled workflow for structured founder intelligence.
Built nine bounded MCP tools that turn untrusted X evidence into reviewable decisions, with approval before paid collection, SQLite persistence, and atomic monthly credit controls.
local-sec
A local-first guard for selected developer-tool installs.
Built a zero-dependency Go guard that selects mature versions, checks advisories, stages and scans supported artifacts, and fails closed when package identity or policy cannot be proven.
Keyed
A multi-service Solana social prototype with AI-assisted discovery.
Architected and implemented a prototype spanning Next.js, Express and BullMQ, FastAPI retrieval and moderation pipelines, and Anchor programs for social and payment workflows.
- TypeScript
- FastAPI
- Rust
- Solana
- Docker