AI services, agent skills, MCP servers and open-source AI tools are recorded as separate kinds. Filter by kind, status and order, and open an entry to see its official source and last-checked date.
440 AI services currently indexed (discovery and verification are continuous)
Counted as one 'service' per product a user selects and contracts for (not per vendor). See /methodology for how we count and verify.
sadam6752-tech/ioBroker.pi-agent: Durable LLM agent for ioBroker: reads and controls states in plain language, survives restarts without repeating actions, writ…
sadrmanesh/persian-rag: Persian-first RAG toolkit for Python: Farsi normalization, PDF and DOCX loading, hybrid retrieval, reranking, vector stores, and evaluat…
sahibzada-allahyar/Formal-Verification-RSI: Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verifie…
Sahir619/fable-method: The Fable Workflow: how Claude Fable 5 worked, distilled into skills any model can run, with the eval that keeps it honest. Think / act /…
saifullahseodeveloper/deepseek-reasonix: DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.
saimskywalker/lumenparty: lumenparty: AI agents for Claude Code — 16 Final Fantasy-named subagents, 14 skills, zero-token guard hooks and a merge gate for Flutt…
sajosam/spawnverse: Self-spawning AI agents born from tasks. Zero pre-built agents. Distributed memory. 4-layer guardrails. Fossil record. Groq + LLaMA.
salitronic/eda-agent: Open-source MCP server that lets an AI drive a live session of Altium Designer, and optionally KiCad or EasyEDA Pro, editing the open desi…