TEMPLATE

Open Ontologies (by fabio-rovai)

👁 0

#ai-native #infrastructure-as-code #isabelle-language #description-logics #formal-verification

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

download →view source

RELATED TEMPLATES

TEMPLATE

Physiquinator (by kadato)

Cross-platform workout tracker built with .NET MAUI and Blazor Hybrid. Rest timer with Android floating overlay, AI assistant, analytics, and MCP server.

👁 24

TEMPLATE

Spanish Top Tech Companies (by pugarte7)

Las empresas tech que más pagan en España y un MCP para que tu agente de IA aplique por ti a sus ofertas. Best-paying tech companies in Spain, plus an MCP that auto-applies for you.

👁 13

TEMPLATE

Infernoflow (by ronmiz)

Persistent memory for AI coding sessions — captures what agents can't infer from code alone. Works with Copilot, Cursor, Claude, and Windsurf

👁 13

COMMENTS

No comments yet — be the first.