1. Conduid
  2. AI
  3. Assertledger
MCP server · AI

Assertledger

Verify that regression tests catch the bug they claim to prevent. Deterministic, replayable evidence for agent-assisted development.

34Low

Scored 21 days ago · breakdown

About Assertledger

Assertledger is an MCP server published by hoklims in the AI category: verify that regression tests catch the bug they claim to prevent. Deterministic, replayable evidence for agent-assisted development.

The repository has 2 stars and 0 forks, with the last commit 4 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/hoklims/assertledger

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Assertledger

Powered by Claude · Grounded in docs

I know everything about Assertledger. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Releases

v2.1.0AssertLedger 2.1.0 · 13 Oct 2026AssertLedger 2.1.0 permet de vérifier un test Bun désigné dans son paquet, avec ses preloads, ses liens internes et des matchers explicitement déclarés de confiance. Requêtes et manifests v5, import de témoins v2 et snapshots limités à la…
v2.0.3AssertLedger 2.0.3 · 11 Oct 2026AssertLedger 2.0.3 réduit le coût des témoins exécutés en conteneur. Sur le témoin Bun mesuré sous Windows avec Docker natif dans WSL, la médiane passe de 419,722 s à 130,577 s, soit 3,214× plus rapide, sur trois exécutions avant…
v2.0.2AssertLedger 2.0.2 · 11 Oct 2026AssertLedger 2.0.2 rend les refus du contrôle préalable Bun actionnables. La sonde fautive et les résultats attendu et observé sont affichés sur stderr et dans le JSON de `verify` et `import-witness`. Un refus ne crée ni fichier ni dossier…
v2.0.1AssertLedger 2.0.1 · 11 Oct 2026AssertLedger 2.0.1 corrige le blocage d’audit sur les templates TypeScript contenant un dièse après une substitution, notamment `${1} #` et `${x} ### ${y}`. Init, audit et le parcours des imports utilisent un itérateur commun qui gère les…
v2.0.0AssertLedger 2.0.0 · 11 Oct 2026AssertLedger 2.0.0 corrige les diagnostics des gros monorepos et rend explicite l’inventaire d’audit. `doctor --json`, `init --dry-run` et `init` produisent un conflit JSON valide lorsqu’une borne d’inventaire est dépassée. La limite de 1…
Questions

About Assertledger

How do I install Assertledger?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Assertledger safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Assertledger still maintained?

Yes — the latest release is v2.1.0 (13 Oct 2026), and the last commit was 4 days ago. The repository has 2 stars.