MoonshotAI/Kimina-Prover-Preview
Technical report of Kimina-Prover Preview.
Language: Lean
Stars: 191 Issues: 1 Forks: 3
https://github.com/MoonshotAI/Kimina-Prover-Preview

openai/codex
Lightweight coding agent that runs in your terminal
Language: TypeScript
Stars: 9596 Issues: 70 Forks: 730
https://github.com/openai/codex

droidrun/droidrun
Language: Python
Stars: 930 Issues: 5 Forks: 91
https://github.com/droidrun/droidrun

harishsg993010/damn-vulnerable-MCP-server
Damn Vulnerable MCP Server
Language: Python
Stars: 385 Issues: 1 Forks: 11
https://github.com/harishsg993010/damn-vulnerable-MCP-server

iFurySt/RedNote-MCP
🚀MCP server for accessing RedNote(XiaoHongShu, xhs).
Language: TypeScript
#ai #mcp #mcp_server #rednote #rednote_mcp #xhs #xhs_mcp
Stars: 233 Issues: 3 Forks: 28
https://github.com/iFurySt/RedNote-MCP

lllyasviel/FramePack
Lets make video diffusion practical!
Language: Python
Stars: 2514 Issues: 34 Forks: 88
https://github.com/lllyasviel/FramePack

openai/openai-fm
Code for openai.fm, a demo for the OpenAI Speech API
Language: TypeScript
Stars: 325 Issues: 3 Forks: 31
https://github.com/openai/openai-fm

arpanghosh8453/garmin-grafana
A Python Script to fetch Garmin health data and populate that in a InfluxDB Database, for visualization long term health trends with Grafana
Language: Jupyter Notebook
Stars: 325 Issues: 2 Forks: 14
https://github.com/arpanghosh8453/garmin-grafana

cicere/pumpswap-volume-bot
A PumpSwap volume bot for Solana. Also supports CPMM/OpenBook Raydium. Same-TX or human mode.
Language: JavaScript
#cpmm #pumpfun #pumpswap #pumpswap_bundler #pumpswap_volume_bot #solana #token2022 #volume_bot
Stars: 302 Issues: 0 Forks: 4
https://github.com/cicere/pumpswap-volume-bot

kijai/ComfyUI-FramePackWrapper
Language: Python
Stars: 407 Issues: 1 Forks: 11
https://github.com/kijai/ComfyUI-FramePackWrapper

LYiHub/mad-professor-public
An AI companion for reading papers.
Language: JavaScript
Stars: 392 Issues: 8 Forks: 47
https://github.com/LYiHub/mad-professor-public

Tencent/InstantCharacter
Language: Python
Stars: 322 Issues: 10 Forks: 20
https://github.com/Tencent/InstantCharacter

facebookresearch/perception_models
State-of-the-art Image & Video CLIP, Multimodal Large Language Models, and More!
Language: Python
Stars: 253 Issues: 3 Forks: 10
https://github.com/facebookresearch/perception_models

jyjblrd/S4_Slicer
Generic Non-Planar Slicer
Language: G-code
Stars: 251 Issues: 0 Forks: 19
https://github.com/jyjblrd/S4_Slicer

pops-1529/Discord-Nitro-Generator
🔥 discord nitro generator 🔥 nitro generator & checker ⭐ gens discord nitro codes and checks - discord nitro generator nitro gen bruteforce discord nitro checker discord nitro bruteforcer discord nitro checker discord nitro gen discord nitro generator nitro gen bruteforce discord nitro checker discord nitro bruteforcer ucyimjubhh
Language: Python
Stars: 248 Issues: 0 Forks: 75
https://github.com/pops-1529/Discord-Nitro-Generator

Azure/azure-mcp
This repository is for development of the Azure MCP Server, bringing the power of Azure to your agents.
Language: PowerShell
Stars: 230 Issues: 10 Forks: 23
https://github.com/Azure/azure-mcp

ali-vilab/UniAnimate-DiT
UniAnimate-DiT: Human Image Animation with Large-Scale Video Diffusion Transformer
Language: Python
#human_image_animation #video_diffusion_transformers #video_generation
Stars: 225 Issues: 5 Forks: 17
https://github.com/ali-vilab/UniAnimate-DiT

unibeck/uptime-monitor
A uptime monitoring service that is easy and cheap to run at scale. Create endpoint checks for uptime, latency, and status code. Supports OpsGenie for alerts.
Language: TypeScript
Stars: 538 Issues: 10 Forks: 48
https://github.com/unibeck/uptime-monitor

tanishqkumar/beyond-nanogpt
Minimal and annotated implementations of key ideas from modern deep learning research.
Language: Jupyter Notebook
Stars: 239 Issues: 0 Forks: 22
https://github.com/tanishqkumar/beyond-nanogpt

aculix/bitplay
Stream video torrents in your web browser with ease.
Language: CSS
#streaming_video #torrents
Stars: 208 Issues: 3 Forks: 13
https://github.com/aculix/bitplay