Claim-Driven Development: turn software intent into verifiable evidence.
☆142Nov 2, 2026Updated this week
Alternatives and similar repositories for mathema
Users that are interested in mathema are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Maximize your computer security and privacy in one click☆159Updated this week
- Small decision models (jev style) for latency critical scenarios☆165Oct 10, 2026Updated 3 weeks ago
- 可扩展到各个领域的多 Agent 协作平台：自动分析任务，动态组建由不同角色组成的 AI 团队，协同完成复杂任务。☆101Oct 23, 2026Updated 2 weeks ago
- Shunt Claude Code agents to any model — selective, per-agent inference-layer routing proxy☆261Updated this week
- JarvisCore is a runtime where AI agents operate as a fleet of equal peers. Agents discover one another by capability, execute tasks from …☆124Oct 29, 2026Updated last week
- 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.
- Python and TypeScript SDKs for verifiable evidence of AI agent actions. Signed receipts, policy enforcement, audit trails. Works with Lan…☆429Updated this week
- A fast, multi-threaded Redis® and Valkey alternative written in Rust: drop-in compatible, with full-text and vector search built in☆963Updated this week
- [ICML 2026] Let LLMs invent and evolve languages for efficient reasoning.☆63Updated this week
- Lightweight native GTK4/Rust Markdown editor with annotation support☆60Updated this week
- A local emulator for enterprise SaaS APIs — Slack, Gmail, Google Drive, GitHub, Jira, Notion, S3 and more — with the real response shapes…☆224Updated this week
- A Pokémon-style adventure built with Codex, featuring AI-generated maps, NPCs, branching saves, and multiplayer. The adventure never ends…☆140Sep 20, 2026Updated last month
- Run reduced-order battery, thermal, converter and BESS control models with transparent equations and repeatable testing.☆305Updated this week
- Local guardrails for AI coding agents. Check proposed file changes and shell commands, block risky patterns, and return actionable feedba…☆128Updated this week
- Orchestrate Claude Code sub-agents across long-running, single- or multi-repo projects. Artifact-first state, task lifecycle, cross-repo …☆79Oct 29, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 74 open systems-engineering knowledge packs + 8 signposts + the /se orchestrator (83 skills) for coding agents: licence-vetted NASA, DoD,…☆54Updated this week
- TalaDB - An open-source embedded vector and document database for building local-first AI applications.☆50Oct 29, 2026Updated last week
- Real-Time Api Health Check Monitoring☆95Sep 8, 2026Updated last month
- A living atlas of human understanding☆46Oct 29, 2026Updated last week
- Co-manage memory with your coding agent across sessions. A local workbench for Claude Code, Codex and Pi.☆175Updated this week
- [arXiv 2026] Unified Audio-Video Creation via Progressive Training and Asymmetric Scheduling☆270Updated this week
- ☆36Updated this week
- Clash for Windows is a graphical Windows client based on the Clash core, featuring multi-protocol proxy support, rule-based traffic routi…☆127Sep 29, 2026Updated last month
- Turn ideas into motion graphics and animated videos with Claude or Codex. 用 Claude 或 Codex，将创意变成动态图形和动画视频。☆51Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A local AI agent harness in Go that runs 24/7 with auto-built tools, MCP, and Ollama☆571Updated this week
- a wasm web-engine based on musescore 4.7☆23Oct 12, 2026Updated 3 weeks ago
- Build agentic systems. Run them with confidence. Orchestrate agents, automate business processes, inspect every execution, and keep human…☆1,270Updated this week
- High Performance KV Cache for LLM Inference☆274Updated this week
- ☆44Oct 16, 2026Updated 3 weeks ago
- 🤖 Python Steam MCP Client☆114Oct 5, 2026Updated last month
- Automated certificate generation and distribution system for events, workshops and hackathons — create bulk personalized certificates in …☆19Oct 16, 2026Updated 3 weeks ago
- The open-source governance layer for AI agents: write the rules declaratively, Bernstein enforces them and produces the verifiable, repla…☆1,192Updated this week
- The AI agent with a memory that lives on your machine and answers the phone.☆16Updated this week
- 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.
- Memwyre is an open-source, universal memory infrastructure and persistent knowledge retrieval layer for Large Language Models (LLMs), AI …☆21Sep 16, 2026Updated last month
- 粘贴一张截图，它找出手机号、身份证、银行卡、Token、地址，一键涂掉。 图片全程留在浏览器里——不上传、不联网、可断网使用。☆112Updated this week
- Design, Test and Document APIs in plain Markdown. Compose Requests with API blocks. Reuse, Replace & Version everything just like code. O…☆1,777Updated this week
- A calm, visual view of the true state of your AI-assisted work. Tracks work items from Asked to Verified on evidence, not agent claims, a…☆16Oct 15, 2026Updated 3 weeks ago
- High performance·Local first·Full platform clipboard manager☆102Updated this week
- Enterprise Agent Harness & MCP Gateway: connect APIs, databases, file servers and 600+ connectors (SAP, Odoo, Etsy…) to Claude, ChatGPT, …☆756Updated this week
- Local-first verification layer for AI agents: evidence, provenance, policy gates, human approval, and auditable Trust Receipts before a c…☆31Updated this week