---
title: "#signum articles | Hashnode"
description: "Explore 2 articles tagged #signum on Hashnode. Tutorials, guides, and how-tos from the community."
url: "https://hashnode.com/tag/signum"
---

Tag

# #signum

2 posts · 0 followers

[Vitaly D.](https://hashnode.com/@t3chn) · [May 8](https://hashnode.com/posts/signum-can-now-be-installed-in-codex-app-as-a-plugin/69fe085a4a13089bbb93b6a9)

### [Signum Can Now Be Installed in Codex App as a Plugin](https://t3chn.hashnode.dev/signum-can-now-be-installed-in-codex-app-as-a-plugin?utm_source=hashnode&utm_medium=feed)

AI-agent workflows have a boring but important problem: a good process often lives inside one runtime. Signum started as a Claude Code plugin. That was the right first layer: slash command, local artifacts, contract-first pipeline, proofpack. But the...

4 min read · [t3chn.hashnode.dev](https://t3chn.hashnode.dev/signum-can-now-be-installed-in-codex-app-as-a-plugin?utm_source=hashnode&utm_medium=feed)

[Vitaly D.](https://hashnode.com/@t3chn) · [Mar 17](https://hashnode.com/posts/what-a-formal-verification-agent-taught-me-about-code-audit/69b940120095f937d162353e)

### [What a Formal Verification Agent Taught Me About Code Audit](https://t3chn.hashnode.dev/what-a-formal-verification-agent-taught-me-about-code-audit?utm_source=hashnode&utm_medium=feed)

The morning digest surfaced Leanstral -- Mistral's open-source agent for formal verification in Lean 4. A mixture-of-experts model (119B total, 6.5B active per token) that scores within 80% of Claude Opus on the FLTEval theorem-proving benchmark at a...

6 min read · [t3chn.hashnode.dev](https://t3chn.hashnode.dev/what-a-formal-verification-agent-taught-me-about-code-audit?utm_source=hashnode&utm_medium=feed)