Popular repositories Loading

1. RCP RCP Public

   Research control panel: turn Codex and Claude Code sessions into one durable research graph, with human authority over every belief, for you or your lab

   Python 5 1

2. slack-research-agent slack-research-agent Public

   This is the public interface of the agent my research group use internally to facilitate experiments, writing, research, coding etc

   Python 4 1

3. depression-pred-sensor-291-UCSD depression-pred-sensor-291-UCSD Public

   Python 2 1

4. agent-assisted-lean-formalization-engine agent-assisted-lean-formalization-engine Public

   This repo contains the code for an agentic workflow that formalize theorems in Lean 4, examples, and presentation materials.

   Python 2

5. protein protein Public

   protein is a CLI that ingests daily arXiv paper via agentic workflow based on your Obsidian vault

   TypeScript 1

6. Snakeposet-and-Birkhoff Snakeposet-and-Birkhoff Public

   Sage