Lists (1)
Stars
Trace Guard silently intercepts every HTTP/HTTPS request, injects a behavioral telemetry script, and blocks bots — including sophisticated agentic browsers driven by Vision-Language Models (VLMs, P…
A collection of formalized statements of conjectures in Lean.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Run agents like Hermes and OpenClaw more securely inside NVIDIA OpenShell with managed inference
A curated collection of comprehensive Fetch.ai Innovation Lab examples, showcasing advanced use cases and detailed implementations beyond the main documentation.
A Claude Code skill for autonomous skill extraction and continuous learning. Have Claude Code get smarter as it works.
Generative UI examples for: AG-UI, A2UI/Open-JSON-UI, and MCP Apps.
This package provides API and functionality to efficiently compute quantiles for anomaly detection in service/system logs.
An agent skill for generating social media content with Claude Code
Python implementation of Checkerboard Copula Regression - Visualization and Association Measure
Unified interface for visualization and analysis of chip firing games and related algorithms.
Your private onboard companion that stays on your device.
A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.
This is the intermediate codebase of RBlocks project. The most recently deployed code is in a private repository owned by Amherst College, but the website is deployed for open use at https://sliao.…
Simple, unified interface to multiple Generative AI providers
An web app to connect Amherst College students to events in a more convenient, intimate, and diverse way! https://amherst-connect.com/
Lean theorem proving interface which feels like pen-and-paper proofs.
LangChain + Next.js starter template
Efficient Triton Kernels for LLM Training
A lightweight library for portable low-level GPU computation using WebGPU.