An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs using multi-agent reasoning techniques.
☆21May 30, 2025Updated last year
Alternatives and similar repositories for Lean4-LLM-Ai-Agent-Mooc
Users that are interested in Lean4-LLM-Ai-Agent-Mooc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Terminal-native AI coding assistant for real repositories. Inspect code, edit files, run tests, and verify changes from the CLI.☆170Updated this week
- ☆43Jul 29, 2026Updated 2 months ago
- RabbitMQ automatic DeadLetter handler for dotnet | EasyNetQ☆14Jun 17, 2022Updated 4 years ago
- Seglight is super fast and real-time semantic segmentation (cpu only) that would be inferenced on 1 core☆12Nov 27, 2025Updated 10 months ago
- Easy access to unsaved files for vscode.☆13Jul 10, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Public Hermes Agent skill for safe Android phone control via ADB☆19May 13, 2026Updated 5 months ago
- Resources for becoming a coder☆11Feb 9, 2021Updated 5 years ago
- ☆20Dec 19, 2025Updated 10 months ago
- Humanoid soccer robots playgorund field simulation with c++ and opencv4☆10May 18, 2024Updated 2 years ago
- a Lean4 framework for the modeling and refinement of stateful systems☆38Oct 2, 2026Updated 3 weeks ago
- simple pytorch unet model for brain tumor detection on MRI tiff images☆12May 14, 2026Updated 5 months ago
- Virtual 3D Model Conference Room☆26Mar 16, 2023Updated 3 years ago
- Fast and simple OpenCV video frame processing with Python, worker pools, queues, and Tkinter GUI support.☆12May 14, 2026Updated 5 months ago
- 将设计、前端实现、代码探索、评审及媒体分析交给本地命令行 Agent，支持持续会话。☆24Sep 10, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Russian Roulette II: The Next Worlds☆12Oct 12, 2026Updated 2 weeks ago
- Model-agnostic output control for LLM agents: concise, action-first answers with proof and risk preserved. Native install paths for Claud…☆22Updated this week
- MRS-Core provides a transparent, modular, reproducible reasoning substrate.☆11Feb 3, 2026Updated 8 months ago
- Extracts files, folders, or entire repos from a pasted Huggingface URL, and lets you queue and download them using HF's Xet file system, …☆22Sep 20, 2026Updated last month
- A full, unpruned 177B MoE model at 11.5 tok/s on one 12 GB GPU. Expert streaming for llama.cpp, with the measurement harness and every de…☆22Oct 3, 2026Updated 3 weeks ago
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 6 months ago
- Acode linter plugin.☆18Mar 2, 2024Updated 2 years ago
- finetune method to create think/model/requires tags to allow LLMs to write programs for things they can calculate instead of hallucinatin…☆15Apr 8, 2026Updated 6 months ago
- Telegram capture workflow and sync doctor bundle for Hermes + Obsidian.☆20Jun 21, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Scrapping fresh V2ray configs through the web and testing to find alive configs on your network☆15Feb 8, 2026Updated 8 months ago
- Linux kernel ML library source code☆12Apr 15, 2026Updated 6 months ago
- Experimental EVGA RTX 3090 Windows UEFI adaptation of impacifist/Windows-GPU-UNLOCK, developed with GPT-6.1 Sol. Benchmarks and read-only…☆21Updated this week
- ☆11Mar 28, 2025Updated last year
- High-performance batched Top-K selection for CPU inference. Up to 80x faster than PyTorch, optimized for LLM sampling with AVX2 SIMD.☆18Mar 20, 2026Updated 7 months ago
- SP-Forth repository mirror with the source files in UTF-8☆13May 19, 2026Updated 5 months ago
- A Haiku-driven matching decompilation pipeline: Ghidra, an emulator-based test oracle, a strict checker and cheap model workers (Dreamcas…☆24Oct 19, 2026Updated last week
- Turn a Windows 11 IoT LTSC PC into a couch gaming console: boots straight into Steam Big Picture, survives crashes, desktop only on deman…☆19Aug 24, 2026Updated 2 months ago
- IPython widgets for graph and network analysis☆12Oct 11, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ollama docker compose setup☆10Jan 27, 2024Updated 2 years ago
- Qwen3.8-Flash-Next IQ3_S on 12 GB VRAM + 32 GB RAM + NVMe: ~45-50 tok/s decode, 131k context, Strata unify fork☆17Oct 18, 2026Updated last week
- Self-hosted background coding agent with OpenCode sandboxes on Railway☆13Feb 10, 2026Updated 8 months ago
- Web based coding and computer use agent. Multi session. Voice chat. Browser use.☆22Updated this week
- 西电生活指南与计算机网信课程攻略开源共享项目——从入学到实习工作/升学的全方位指南，给各位西电的萌新一点小小的西电震撼！☆24Feb 14, 2026Updated 8 months ago
- Go package to produce a repomap based on tree-sitter☆14Jan 29, 2025Updated last year
- Wireless file sharing between Steam Deck and phone/PC☆16Oct 14, 2026Updated last week