Rust toolkit for reproducible AI assisted mathematical research: exact certificates, durable evidence, and native RuVector, rGi, and Autogenous.
GitHub repository with 6 stars and 1 forks.
Language: Rust
Topics: ai-agents, formal-verification, mathematics, number-theory, reproducible-research, ruflo, rust, ruvector
Trending score 0.03, freshness score 0.00, stars gained +0, forks gained +0.
2026-11-02: 6 stars and 1 forks.
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
Local knowledge graph for AI agents. Hybrid search + MCP server for Obsidian vaults.
GitHub repository with 171 stars and 16 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Rust
Topics: ai-agents, knowledge-graph, local-first, mcp, obsidian, rag
Local-first search across your workspace, built for humans and AI agents.
GitHub repository with 4,214 stars and 257 forks.
Trending score: 1.14; stars gained: +0; forks gained: +0.
Language: Rust
Topics: ai-agents, bm25, cli, code-search, full-text-search, local-first
A WiFi security auditing software
GitHub repository with 4,805 stars and 806 forks.
Trending score: 1.49; stars gained: +0; forks gained: +0.
Language: Rust
Topics: gui, kali, linux-app, security, security-audit, wifi
A Kubernetes TUI, reimagined in Rust - built on kube-rs and ratatui, async-first from the ground up.
GitHub repository with 1,817 stars and 80 forks.
Trending score: 1.87; stars gained: +8; forks gained: +0.
Language: Rust
Topics: argocd, devops, eks, flux, fluxcd, gke
Lightweight coding agent that runs in your terminal
GitHub repository with 132,822 stars and 20,991 forks.
Trending score: 5.48; stars gained: +893; forks gained: +131.
Language: Rust
AI-native, GPU-accelerated terminal emulator for Windows with SSH, persistent sessions, split panes, and first-class AI CLI workflows.
GitHub repository with 3,692 stars and 211 forks.
Trending score: 2.46; stars gained: +14; forks gained: +1.
Language: Rust
Topics: ai-cli, claude-code, codex, developer-tools, gpu-accelerated, opengl
Open source Loom alternative. Beautiful, shareable screen recordings.
GitHub repository with 24,150 stars and 2,218 forks.
Trending score: 3.29; stars gained: +20; forks gained: +4.
Language: Rust
Topics: app, cap, coss, mac, open-source, oss
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
Local knowledge graph for AI agents. Hybrid search + MCP server for Obsidian vaults.
GitHub repository with 171 stars and 16 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Rust
Topics: ai-agents, knowledge-graph, local-first, mcp, obsidian, rag
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