fabio-rovai/open-ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-server

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 2 days ago.

	Repository	Stars	Language	License	Activity
1	koala73/worldmonitorReal-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situ	★ 88.7k	TypeScript	AGPL-3.0	Active
2	D4Vinci/Scrapling🕷️ A Web Scraping framework that handles everything from a single request to a full-scale crawl! Don't be shy, join here: https://discord.gg	★ 88.4k	Python	BSD-3-Clause	Active
3	upstash/context7Context7 Platform -- Up-to-date docs for AI agents	★ 63.2k	TypeScript	MIT	Active
4	sansan0/TrendRadar⭐AI-driven public opinion & trend monitor with multi-platform aggregation, RSS, and smart alerts.🎯 告别信息过载，你的 AI 舆情监控助手与热点筛选工具！聚合多平台热点 + RSS	★ 63k	Python	GPL-3.0	Active
5	ChromeDevTools/chrome-devtools-mcpChrome DevTools for coding agents	★ 53.8k	TypeScript	Apache-2.0	Active
6	bytedance/UI-TARS-desktopThe Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra	★ 39.3k	TypeScript	Apache-2.0	Active
7	github/github-mcp-serverGitHub's official MCP Server	★ 33.7k	Go	MIT	Active
8	tirth8205/code-review-graphLocal-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, wit	★ 32.2k	Python	MIT	Active