实时遥测中·AI & 智能体今日榜 #99
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.
Star
0
全站累计星标Fork0社区衍生分支
语言Rust核心开发语言
创建于2026-03-09已持续演进 0.6 年
最近推送2026-10-30最新代码推送
大白话速览 · 这玩意到底干嘛的
剥离生涩术语，30 秒看懂项目的真实用途与定位
管理生产环境的本体变更：先预演再应用、能回滚，生成影响范围报告和审计员可复核的证明，免得改一处崩一片。
所属技术赛道
人工智能 / 大模型
产品交付形态
独立自部署服务
底层技术栈
Rust
破星里程碑预测
基于实时增量斜率推算
目标里程碑5.0k ⭐
34% · 差 2.6k预计达成
0天
2027.07.20日均增速
+0/天
历史均速击败同类
0%
增速领先Star 走势
已连续追踪 74 天真实快照走势
区间净增势能+2.4k (236900.0%)
TOPICS#ai-native#description-logics#formal-verification#infrastructure-as-code#isabelle-language#knowledge-graph#lean#lean4
开源活力遥测
综合生命力评级
0/ 100A+
社区势能充沛，长期选型优选代码迭代活跃度99%
社区衍生互动率98%
近期增长爆发力85%
极客终端起步控制台
一键拉取源码或本地包环境部署
HTTPS / SSH / CLI 就绪
gitrank@pulse:~/open-ontologiesREADY
