28 packages found
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab
🪛 Rust powered precision file tools for AI agents thats minimize context use: patch-based edits, kernel-enforced path c
Embedded agent runtime compliance layer — WASM sandbox, MCP firewall, capability manifests, verifiable rollouts, and tra
Deterministic rules verdicts for game-running agents — cited, reproducible, honest about jurisdiction. SRD 5.2.1 is adap
🪐 🔧 Model Context Protocol (MCP) Server for Jupyter.
Code Intelligence: Token-budgeted codebase context for Elixir agents. Solves context window limitations by providing a d
A Model Context Protocol (MCP) for Jupyter Notebook
Bilig WorkPaper: headless spreadsheet formula engine and MCP server for Node agents: complete spreadsheet work autonomou
@DeusDataHigh-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in mil
Persistent Project Context for xAI Grok — IANA-registered .faf format · MCP server on a URL
OpenAI and Anthropic compatible server for Apple Silicon. Run LLMs and vision-language models (Llama, Qwen-VL, LLaVA) wi
Traffic light for AI Agents and TypeScript/Node multi-agent orchestrator with shared state, guardrails, and adapters for
AI Agent Economic Settlement Infrastructure - Machine-to-Machine Clearing
Token-efficient browser MCP server — structured web pages for AI agents, not raw accessibility dumps
vMLX - JANGTQ Uber Compressed MLX Models - L2 Disk Cache (survives restart) + L1 Paged (super fast ttft) + Hybrid SSM Sc
Run and serve local LLMs everywhere .NET runs - desktop and the browser - on the SpawnDev.ILGPU.ML inference engine (GGU
TokToken is a fast, single-binary C codebase indexer for AI coding agents. Powered by universal-ctags and SQLite FTS5, i
A local Apple Documentation crawler and MCP server. Written in Swift.
The missing integration layer for AI agents. Let them call any OpenAPI / MCP / GraphQL / custom js functions in secure e
MCP server giving LLM agents a seven-verb API over papers, documents, code, state, patents, and cached web/Wolfram/YouTu
An MCP server that allows users to dynamically add custom tools/functions at runtime
MCP server for SSH remote server management
Python SQL Parser and Transpiler
A list of open-source AI projects you can use to generate income easily.