corey
Follow
Starred repositories
Monitor browser logs directly from Cursor and other MCP compatible IDEs.
What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?
Wasm-DSL / spectec
Forked from WebAssembly/specWasm SpecTec specification tools
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
Framework and Language for Neurosymbolic Programming.
Understanding R1-Zero-Like Training: A Critical Perspective
A fast, secure MCP server that extends its capabilities through WebAssembly plugins.
📦 Repomix (formerly Repopack) is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) o…
Groundhog's primary purpose is to teach people how Cursor and all these other coding agents work under the hood. If you understand how these coding assistants work from first principles, then you c…
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
A server that integrates Linear's project management system with the Model Context Protocol (MCP) to allow LLMs to interact with Linear.
A Conversational Speech Generation Model
Make websites accessible for AI agents
The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.
A Model Context Protocol server for converting almost anything to Markdown
An open source collection of animated, interactive & fully customizable React components for building stunning, memorable user interfaces.
Feature flags, experiments, and remote config management with version control
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Applying the ideas of Deepseek R1 to computer use
