Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install cornelis

local Homebrew formula metadata

Linux

Nixverifiziert · 92%

nix profile install nixpkgs#cornelis

nixpkgs package indexes · pkgs/by-name/co/cornelis/package.nix · Quelle: api.github.com

Überblick

Paketzusammenfassung

Neovim support for Agda

Projektlinks

Befehle und Aliase

cornelis

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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.

Quellen

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Installiert mit 1 Laufzeitabhängigkeiten.
Build-Metadaten listen 3 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`cornelis`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-08-04

Manager-Version2.8.0

Manager aktualisiert2026-07-22

lokale DatenOK

Upstreamaktuell

neueste erkannte Versionv2.8.0

https://github.com/agda/cornelis

OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:cornelis
Version	2.8.0
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/cornelis
Homepage	https://github.com/agda/cornelis
Repository	https://github.com/agda/cornelis
Lizenz	BSD-3-Clause
Quellarchiv	https://github.com/agda/cornelis/archive/refs/tags/v2.8.0.tar.gz
Zuletzt aktualisiert	2026-07-22T05:23:36Z
Pulse	updated
Abhängigkeiten	gmp
Build-Abhängigkeiten	cabal-install, ghc, hpack
Von macOS bereitgestellte Bibliotheken	libffi
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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	head stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

cornelis

nix profile install nixpkgs#cornelis

normalized package name match
Abgeglichen nach: Cornelis

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/co/cornelis/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/cornelis.yml

Verwendete Quellen

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

cornelis mit Homebrew, Nix installieren