10 projects
alphasig
Causal signal extraction from SEC filings using LLMs
a2a-mesh
Lightweight multi-agent coordination runtime using the A2A protocol
jaxphys
GPU-accelerated differentiable physics engine built on JAX
agentomaly
Runtime behavioral anomaly detection for AI agents
infiltr
RL-based adversarial red-team agent for LLM systems
floww
Agent reliability simulator — chaos engineering for AI agents
forgeplan
A long-horizon planning engine for LLM agents. Dedicated planning layer with HTN decomposition, MCTS search, and backtracking.
prediq
Cross-exchange prediction market analytics engine
healthpipe
Privacy-preserving clinical data pipeline with HIPAA-compliant de-identification, differential privacy, and synthetic data generation.
leancode
Formally verified AI code generation: natural language -> code + proof -> verified binary
