Pinned Loading

1. alethfeld alethfeld Public

   Rigorous Proofs via Adversarial AI Agents

   Clojure 133 11

2. vibefeld vibefeld Public

   Agent-first CLI tools, UX patterns for LLM agents to prove mathematical results

   Go 3

3. microscopic-mobile-anyons microscopic-mobile-anyons Public

   This is an attempt to use agentic coding (according to best practices) to carry out a physics research project.

   TeX

4. polyceph polyceph Public

   multi-headed intelligence for modern AI - a clojure agent system with dynamic tools and llm delegation

   Clojure