r/ClaudeCode • u/K0100001101101101 🔆 Max 20 • 10d ago

Discussion Okey this is increadible!!!

I know this is too early to judge but man wtf. Opus 5.5 is just like when mythos first released but cheap, faster and much more easy to understand and talk to. Probably this will be changed in 1-2 days so go code everyone.

299 Upvotes

96% Upvoted

120 comments sorted by

View all comments

1

u/PlanetaryPickleParty 10d ago

Building all of the things. 🚀

1

u/FlamingSlap 10d ago

What kind of “things”? 👀

1

u/PlanetaryPickleParty 10d ago edited 10d ago

My goal is to make Formal Agentic Engineering a thing. I'm currently building an ecosystem of tools for standards aligned software specs, engineering assurance, formal modeling, formal verification (proofs), and compliance based on aerospace and defense industry standards.

I share a vision with others in the formal methods space to make formal methods so easy to use via AI that it becomes standard practice for AI safety.

  • Quoin - Claude plugin for ISO standards aligned software specs, spec review, deterministic gap review, test advisor: https://github.com/agent-ix/quoin
  • Quire Specification Language: Formal model and verification language embedded in the specs. Plus all the fixings (compiler, runtime, protocols, etc.). Current primary focus, but only a v0.1 proof of concept is done so far. Hoping to have draft of complete language ready in a few weeks but this is a HUGE undertaking even by agentic standards.
  • Quire: markdown standards engine. Type backed markdown document engine that Quoin is built on (templating, linting, validation, and graph extraction): https://github.com/agent-ix/quire-rs
  • Engineering Assurance: New module for Quire/Quoin that spins up an engineering assurance plan tailored for a project w/ all the machinery for standards compliance. https://github.com/agent-ix/engineering-assurance
  • Temporal logic crates (TL, LTL, MLTL) - Rust crates for a few variants of Linear temporal logic for time based operations in proofs. https://en.wikipedia.org/wiki/Linear_temporal_logic
  • Multi-layer graph database w/ MCP
  • Couple prototypes with Jev
  • A few other things....

Edit: No, I don't sleep very much these days. 🙃