Lists (4)
Stars
Workspace-first orchestration for long-horizon Lean 4 formalization agents.
Run long-lived commands without model polling and resume the same Codex task when work completes.
Unified Lean tool server with MCP, HTTP API, remote CLI, local shell, and configurable backends for diagnostics, declarations, LSP, and search
Proma brings a seamless general-purpose Agent experience to your workflow. Built for 100× professionals and the proactive Agent era
An observation-grounded benchmark framework for scientific modeling and design, with reusable datasets, queryable objectives, and task protocols.
A lightweight Python runtime kit for provider-backed agents, with agent type templates, isolated homes, scoped thread snapshots, and simple orchestration primitives.
Manage multiple Claude Code, OpenCode agents from either TUI or Web for easy access on mobile. Also supports Mistral Vibe, Codex CLI, Gemini CLI, Pi.dev, Copilot CLI, Factory Droid Coding.
Turn ChatGPT into Codex! OR Turn Claude Web into Claude Code!
A THU beamer template based on PKU beamer template
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
Research code base for Automatic Textbook Formalization
Manage multiple AI terminal agents like Claude Code, Codex, OpenCode, and Amp.
A terminal workspace with batteries included
📚 《从零开始构建智能体》——从零开始的智能体原理与实践教程
Session-scoped completion guards and Lark/Feishu notifications for Codex hooks, with stop-hook enforcement, structured success matching, and final-only alerts.
A provider-agnostic runtime for agent profile directories, session lifecycle management, run execution, and MCP-backed configuration composition.
A lightweight VS Code scratchpad for drafting prompts and sending them to Codex or Claude Code in the terminal.
The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no huge configs, no giant monorepo—but scores >74% on SWE-bench verified!
A collection of formalized statements of conjectures in Lean.
Bridge local AI coding agents (Claude Code, Cursor, Gemini CLI, Codex) to messaging platforms (Feishu/Lark, DingTalk, Slack, Telegram, Discord, LINE, WeChat Work). Chat with your AI dev assistant f…
A lightweight, powerful framework for multi-agent workflows