Checks the math in your code: proves a function equals its formula or returns the exact input that breaks it. Also an exact math engine and MCP server for AI agents (SymPy + NumPy).
GitHub repository with 7 stars and 1 forks.
Language: Python
Topics: ai-agents, code-generation, code-verification, computer-algebra, floating-point, linter, llm-tools, math, mcp, numpy
Trending score 0.02, freshness score 0.00, stars gained +0, forks gained +0.
2026-11-15: 7 stars and 1 forks.
Source repo for the blog post Stop Stuffing Your System Prompt: Build Scalable Agent Skills in LangGraph
GitHub repository with 14 stars and 1 forks.
Trending score: 0.00.
Language: Python
Topics: agent-skills, ai-agents, ai-systems, claude-code-skills, langchain, langgraph
Hunt down social media accounts by username across social networks
GitHub repository with 112,022 stars and 12,961 forks.
Trending score: 6.18; stars gained: +1,186; forks gained: +126.
Language: Python
Topics: cli, cti, cybersecurity, forensics, hacktoberfest, information-gathering
VoiceStudio is the open-source, fully-local ElevenLabs alternative — voice cloning, voice design, video dubbing, dictation, transcription & audiobook creation in 646 languages.
GitHub repository with 110,934 stars and 12,295 forks.
Trending score: 6.13; stars gained: +1,499; forks gained: +156.
Language: Python
Topics: ai, audiobook, cuda, dubbing, elevenlabs-alternative, huggingface
LLM 驱动的多市场股票智能分析系统：多源行情、实时新闻、决策看板与自动推送，支持零成本定时运行。 LLM-powered multi-market stock analysis system with multi-source market data, real-time news, decision dashboard, automated notifications, and cost-free scheduled runs.
GitHub repository with 72,348 stars and 57,516 forks.
Trending score: 5.99; stars gained: +1,171; forks gained: +346.
Language: Python
Topics: a-stock, ai-agent, aigc, llm, quant, quantitative-finance
Reverse-engineer any video, shot by shot: filmed, AI-generated or coded, and how to remake it. Breakdowns in the open VIDEO.md format. 逆向一切视频，逐个镜头看是拍的、AI 生成的还是代码做的，再告诉你怎么复刻；拆解结果按 VIDEO.md 格式输出。
GitHub repository with 8,801 stars and 1,295 forks.
Trending score: 5.91; stars gained: +1,057; forks gained: +157.
Language: Python
Topics: agent-skills, ai-video, aigc-detection, claude-code, codex, ffmpeg
Public repository for Agent Skills
GitHub repository with 194,883 stars and 22,921 forks.
Trending score: 5.87; stars gained: +919; forks gained: +113.
Language: Python
Topics: agent-skills
Open-source plugin for designing and reviewing software with agents
GitHub repository with 19,359 stars and 1,439 forks.
Trending score: 5.81; stars gained: +1,001; forks gained: +68.
Language: Python
Topics: agent-skills, ai-agents, antigravity, claude-code, claude-code-plugin, claude-skills
Give AI coding agents the context they need to ship production-quality software.
GitHub repository with 243 stars and 19 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Rust
Topics: ai, ai-agent, ai-agents, ai-assistant, ai-infra, ai-infrastructure
Nipmod package intelligence, Codex plugin, MCP workflows and public agent safety tooling.
GitHub repository with 0 stars and 0 forks.
Trending score: 0.00.
Language: TypeScript
Topics: ai-agents, cli, codex, codex-plugin, developer-tools, mcp
re!think it. System prompt teaching LLMs to execute two core tasks: complex answers without hallucinations, and creative ideas without clichés. Written in math-like logic, which LLMs parse better than plain language. Built for mid-to-high complexity tasks, featuring a Bypass branch to execute simple prompts directly without added cognitive overhead
GitHub repository with 14 stars and 0 forks.
Trending score: 0.00.
Topics: ai-agents, chatgpt-prompts, claude-prompts, cognitive-architecture, gemini-prompts, hallucination-prevention
Local knowledge graph for AI agents. Hybrid search + MCP server for Obsidian vaults.
GitHub repository with 175 stars and 17 forks.
Trending score: 1.15; stars gained: +4; forks gained: +1.
Language: Rust
Topics: ai-agents, knowledge-graph, local-first, mcp, obsidian, rag
The MightyVern bot
GitHub repository with 15 stars and 1 forks.
Trending score: 0.00.
Language: Go
Topics: agentic-coding, agentic-discovery, ai, ai-agents, ai-discovery, ai-planning
Source repo for the blog post Stop Stuffing Your System Prompt: Build Scalable Agent Skills in LangGraph
GitHub repository with 14 stars and 1 forks.
Trending score: 0.00.
Language: Python
Topics: agent-skills, ai-agents, ai-systems, claude-code-skills, langchain, langgraph