Lists (1)
Stars
Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".
Agent skills for building with TypeSafe's System One API
A spy satellite simulator in your browser, except the data is real. Live open source spatial intelligence on a photorealistic 3D globe.
Twarner491 / AvianVisitors
Forked from Nachtzuster/BirdNET-PiA live bird collage from your window.
top-style TUI for monitoring AI coding agent sessions
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
lis186 / waldzell-mcp
Forked from waldzellai/waldzell-mcpWaldzell AI's monorepo of MCP servers. Use in Claude Desktop, Cline, Roo Code, and more!
Allows AI to perform advanced reasoning, store the reasoning automatically, and can create system prompts or domain knowledge as libraries.
A collection of formalized statements of conjectures in Lean.
A floating workspace status HUD for Emacs, showing Git, LSP, and diagnostic state in a WebAssembly-powered egui card.
widefox / rllm
Forked from rllm-org/rllmDemocratizing Reinforcement Learning for LLMs
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Agent harness to make your slop code well-engineered and beautiful.
Emacs major mode for Lean 4
An ACP (Agent Client Protocol) implementation in Emacs lisp as per https://agentclientprotocol.com
Show cognitive complexity of code in Emacs 29+ (treesit-based)
Loads environment variables from .env for nodejs projects.
Emacs Org-mode integration with Model Context Protocol (MCP) for AI-assisted task management
Generate compile_commands.json for any C or C++ build
Stressful Application Test - userspace memory and IO test
Emacs mode for editing and running Bats tests
The AI that really does things. Any OS. Any Platform. The lobster way. 🦞
Lean 4 theorem proving skill and workflow pack for AI coding agents