macOS
Homebrewvérifié · 100%
brew install cornelislocal Homebrew formula metadata
brew / rang 9342
Installer cornelis avec Homebrew, Nix
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de cornelis pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Nixvérifié · 92%
nix profile install nixpkgs#cornelisnixpkgs package indexes · pkgs/by-name/co/cornelis/package.nix · Source: api.github.com
aperçu
Résumé du paquet
Neovim support for Agda
Liens du projet
Commandes et alias
- cornelis
historique
Historique du projet et usages
Cornelis is a Neovim interface for Agda, positioning itself as agda-mode for Neovim. It is written in Haskell and exposes Agda interactions through Vim commands for loading, goals, refinement, case splitting, normalization, and navigation.
Historique du projet
The upstream README still describes Cornelis in relation to Emacs agda-mode and documents installation through common Vim and Neovim plugin managers. The current repository under the Agda organization was created in 2022, and its README states that the repository is currently unmaintained while asking interested maintainers to contact the Agda community.
Historique d'adoption
Cornelis serves the smaller intersection of Agda users and Neovim users. Its adoption significance is mainly editorial and workflow-based: it gives dependently typed programming a modal-editor path rather than requiring the traditional Emacs-centered Agda workflow.
Modes d'utilisation
Users install Cornelis as a Neovim plugin, build it with Stack, and configure Vimscript or Lua variables for behavior such as rewrite mode, Agda input prefix, disabling default bindings, and debug logging.
Pourquoi les passionnés de paquets s'y intéressent
Cornelis is interesting to package maintainers because it is both an editor integration and a Haskell-built executable. Distribution needs to account for Neovim plugin layout, Stack/Haskell build expectations, and compatibility with Agda versions.
Chronologie
- 2022: Current agda/cornelis GitHub repository created.
- 2026: Repository metadata shows recent activity while the README marks the project as unmaintained.
- Present: Tags in the official repository include v2.7.0, v2.7.1, and v2.8.0.
Related projects
- Related projects include Agda, agda-mode for Emacs, nvim-hs.vim, vim-textobj-user, and Neovim plugin managers such as vim-plug and lazy.nvim.
Sources
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
- S’installe avec 1 dépendances d’exécution.
- Les métadonnées de compilation listent 3 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
cornelis | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-08-04
version du gestionnaire2.8.0
gestionnaire mis à jour2026-07-22
données localesOK
amontà jour
dernière version détectéev2.8.0
https://github.com/agda/cornelis
- OKAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:cornelis |
|---|---|
| Version | 2.8.0 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/cornelis |
| Page d'accueil | https://github.com/agda/cornelis |
| Dépôt | https://github.com/agda/cornelis |
| Licence | BSD-3-Clause |
| Archive source | https://github.com/agda/cornelis/archive/refs/tags/v2.8.0.tar.gz |
| Dernière mise à jour | 2026-07-22T05:23:36Z |
| Pulse | updated |
| Dépendances | gmp |
| Dépendances de compilation | cabal-install, ghc, hpack |
| Bibliothèques fournies par macOS | libffi |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | cornelis |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
Nix95%
cornelis
nix profile install nixpkgs#cornelis- normalized package name match
- Correspondance par : Cornelis
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment
- pkg.so package database
- pkgdb category and tag curation